Mixed Global Constraints and Inference in Hybrid CLP-IP Solvers.
Greger OttossonErlendur S. ThorsteinssonJohn N. HookerPublished in: Electron. Notes Discret. Math. (2000)
Keyphrases
- global constraints
- constraint logic programming
- constraint programming
- boltzmann machine
- boolean constraints
- constraint satisfaction problems
- weighted constraint satisfaction
- combinatorial problems
- integer linear programming
- symmetry breaking
- constraint propagation
- integer programming
- arc consistency
- belief networks
- constraint satisfaction
- dynamic programming
- bayesian inference
- np complete