Sign in

Evaluating CDCL Restart Schemes.

Armin BiereAndreas 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