Speeding Up CDCL Inference with Duplicate Learnt Clauses.
Stepan KochemazovOleg ZaikinAlexander A. SemenovVictor KondratievPublished in: ECAI (2020)
Keyphrases
- decision problems
- clause learning
- sat solvers
- sat problem
- unit propagation
- boolean satisfiability
- search space
- sat encodings
- boolean formula
- max sat
- constraint satisfaction
- search tree
- propositional satisfiability
- davis putnam
- efficient learning
- function free horn
- satisfiability problem
- probabilistic reasoning
- first order logic
- np complete
- data structure