Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers.
Victor KondratievIlya V. OtpuschennikovAlexander A. SemenovPublished in: MIPRO (2020)
Keyphrases
- sat solvers
- decision diagrams
- orders of magnitude
- constraint satisfaction
- propositional satisfiability
- search tree
- search strategies
- search space
- max sat
- sat problem
- boolean satisfiability
- sat instances
- sat solving
- sat encodings
- clause learning
- markov decision processes
- constraint satisfaction problems
- phase transition
- multi valued
- dynamic programming
- search algorithm