Login / Signup
Unsatisfiable Linear CNF Formulas Are Large, and Difficult to Construct Explicitely
Dominik Scheder
Published in:
CoRR (2009)
Keyphrases
</>
cnf formula
np complete
sat problem
max sat
knowledge compilation
propositional formulas
davis putnam
np hard
phase transition