Poprzednia strona
Rekrutacja 2022/23
S. Stepin
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)
3rd International Conference on Machines, Computations, and Universality, Chisinau, Moldovia, May 23-27, 2001
