Clause vivification by unit propagation in CDCL SAT solvers.

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

Published in: Artif. Intell. (2020)

Keyphrases

unit propagation
sat solvers
max sat
sat problem
search tree
propositional satisfiability
orders of magnitude
sat encodings
clause learning
constraint satisfaction
search space
search strategies
sat instances
boolean satisfiability
answer sets
truth values