An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL.
Sibylle MöhlePublished in: FroCoS (2023)
Keyphrases
- sat solvers
- clause learning
- boolean functions
- sat solving
- model counting
- knowledge compilation
- sat encodings
- orders of magnitude
- propositional satisfiability
- search strategies
- sat instances
- boolean satisfiability
- constraint satisfaction
- search tree
- sat problem
- search space
- max sat
- state space
- dynamic programming
- polynomial size
- propositional logic
- answer sets
- search strategy