A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.
Alexis de ColnetPublished in: SAT (2020)
Keyphrases
- symmetry breaking
- pseudo boolean constraints
- pseudo boolean
- lower bound
- upper bound
- branch and bound
- boolean functions
- branch and bound algorithm
- np hard
- knowledge compilation
- exact solution
- optimal solution
- objective function
- machine learning
- branch and bound method
- optimization problems
- logic programming
- metaheuristic
- software engineering
- cutting plane
- sat encodings