On the Resiliency of Unit Propagation to Max-Resolution.

André Abramé Djamal Habet

Published in: IJCAI (2015)

Keyphrases

search algorithm
unit propagation
search tree
max sat
satisfiability problem
sat problem
search space
search methods
sat solvers
conjunctive normal form
clause learning
davis putnam
sat encodings
normal form
truth values
randomly generated
fixpoint
cellular automata