Evaluating CDCL Variable Scoring Schemes.

Armin Biere Andreas Fröhlich

Published in: SAT (2015)

Keyphrases

sat solvers
sat encodings
boolean formula
propositional satisfiability
orders of magnitude
data structure
search space
clause learning
variable ordering