Clause Elimination Procedures for CNF Formulas.

Marijn Heule Matti Järvisalo Armin Biere

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

cnf formula
np complete
max sat
sat problem
conjunctive normal form
knowledge compilation
davis putnam
search strategies
propositional formulas
branch and bound
data structure
neural network
phase transition
sat solvers
np hard
special case
computational complexity
search algorithm
database systems