On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT).

Zenon Sadowski

Browse the full MCU paper archive.