The Complexity of Satisfiability Problems: Refining Schaefer's Theorem

Download PDF
Open Webpage

Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer

Published: 2004, Last Modified: 21 May 2024Electron. Colloquium Comput. Complex. 2004EveryoneRevisionsBibTeXCC BY-SA 4.0