Login / Signup
Minimally Unsatisfiable CNF Formulas.
S. Baumer
Juan Luis Esteban
Jacobo Torán
Published in:
Bull. EATCS (2001)
Keyphrases
</>
cnf formula
np complete
max sat
sat problem
knowledge compilation
propositional formulas
conjunctive normal form
davis putnam
special case
database
artificial intelligence
lower bound
tabu search
phase transition
propositional logic
randomly generated