Poprzednia strona
Rekrutacja 2022/23
A. Antonevich
On an Optimal Deterministic Algorithm for SAT
12th International Workshop on Computer Science Logic, Brno, Czech Repulic, Aug 24-28, 1998
