Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.
Marketa IlletskovaAlex R. BertelsJoshua M. TuggleAdam HarterSamuel RichterDaniel R. TauritzSamuel A. MulderDenis BuenoMichelle LegerWilliam M. SieverPublished in: SSCI (2017)
Keyphrases
- sat solvers
- automated design
- evolutionary design
- orders of magnitude
- constraint satisfaction
- propositional satisfiability
- engineering design
- max sat
- sat solving
- search strategies
- sat instances
- boolean satisfiability
- search space
- search tree
- security protocols
- sat problem
- clause learning
- sat encodings
- search algorithm