Poprzednia strona
Rekrutacja 2022/23
A. Lebedev
Optymalny algorytm deterministyczny dla SAT
Forum Informatyki Teoretycznej FIT-12, Opole, Poland,
