Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems.

Steffen Reith, Heribert Vollmer

Browse the full MFCS paper archive.