Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting.
Sibylle MöhleArmin BierePublished in: GCAI (2019)
Keyphrases
- model counting
- clause learning
- propositional satisfiability
- propositional formulas
- chronological backtracking
- sat solvers
- satisfiability testing
- knowledge compilation
- propositional logic
- industrial applications
- polynomial size
- satisfiability problem
- constraint programming
- orders of magnitude
- sat problem
- constraint satisfaction
- automated reasoning
- optimal solution
- max sat
- belief revision
- first order logic
- scheduling problem
- data structure