Clause Vivification by Unit Propagation in CDCL SAT Solvers.

Chu-Min Li Fan Xiao Mao Luo Felip Manyà Zhipeng Lü Yu Li

Published in: CoRR (2018)

Keyphrases

unit propagation
sat solvers
max sat
sat problem
orders of magnitude
sat encodings
search tree
constraint satisfaction
propositional satisfiability
sat instances
boolean satisfiability
search strategies
clause learning
search space
boolean formula
answer sets
conjunctive normal form
search algorithm
graph coloring