C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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