Keyphrases
- pseudo boolean
- pseudo boolean constraints
- logic programming
- integer linear programming
- combinatorial problems
- symmetry breaking
- exact solution
- logic programs
- boolean optimization
- propositional satisfiability
- knowledge representation
- constraint programming
- graph coloring
- programming language
- knowledge base
- column generation
- traveling salesman problem
- constraint satisfaction
- theorem proving
- combinatorial optimization
- unconstrained optimization