Evaluating CDCL Restart Schemes.

Armin Biere Andreas Fröhlich

Published in: POS@SAT (2018)

Keyphrases

sat solvers
sat encodings
random walk
orders of magnitude
search tree
search strategy
combinatorial problems
sat problem
propositional satisfiability
clause learning