Implementing Global Constraints as Graphs of Elementary Constraints.
Dávid HanákPublished in: Acta Cybern. (2003)
Keyphrases
- global constraints
- constraint programming
- boolean constraints
- constraint satisfaction problems
- generalized arc consistency
- combinatorial problems
- parameterized complexity
- symmetry breaking
- integer linear programming
- weighted constraint satisfaction
- integer programming
- constraint satisfaction
- arc consistency
- boltzmann machine
- constraint propagation
- np complete
- query language
- special case
- temporal planning problems
- image segmentation