A fast pseudo-Boolean constraint solver.
Donald ChaiAndreas KuehlmannPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2005)
Keyphrases
- constraint solver
- pseudo boolean
- constraint programming
- combinatorial problems
- symmetry breaking
- propositional satisfiability
- constraint satisfaction problems
- constraint satisfaction
- sat solvers
- pseudo boolean constraints
- integer linear programming
- constraint propagation
- constraint solving
- global constraints
- integer programming
- column generation
- exact solution
- search strategies
- constraint logic programming
- arc consistency
- linear constraints
- real numbers
- search space
- search tree
- np complete
- fuzzy sets
- dynamic programming