Zenon Sadowski. On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). In Maurice Margenstern, Yurii Rogozhin, editors, Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings. Volume 2055 of Lecture Notes in Computer Science, pages 300-307, Springer, 2001. [doi]
Abstract is missing.