Keyphrases
- pseudo boolean
- pseudo boolean constraints
- logic programming
- propositional satisfiability
- integer linear programming
- sat solvers
- combinatorial problems
- answer set programming
- symmetry breaking
- logic programs
- boolean satisfiability
- sat solving
- clause learning
- exact solution
- answer sets
- boolean formula
- boolean optimization
- knowledge base
- knowledge representation
- sat problem
- constraint programming
- combinatorial optimization
- orders of magnitude
- sat instances
- metaheuristic
- programming language
- automated reasoning
- constraint satisfaction
- ant colony optimization