Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers.

Stepan Kochemazov

Published in: AICTS (2020)

Keyphrases

sat solvers
propositional satisfiability
search strategies
orders of magnitude
sat solving
sat encodings
max sat
sat instances
clause learning
search tree
constraint satisfaction
sat problem
search space
boolean satisfiability
search strategy
phase transition