Complex Constraint Abstraction: Global Constraint Visualisation.
Helmut SimonisAbderrahmane AggounNicolas BeldiceanuEric BourreauPublished in: Analysis and Visualization Tools for Constraint Programming (2000)
Keyphrases
- global constraints
- constraint programming
- boolean constraints
- generalized arc consistency
- high level
- constraint satisfaction problems
- integer programming
- weighted constraint satisfaction
- arc consistency
- relational databases
- symmetry breaking
- combinatorial problems
- precedence constraints
- integer linear programming
- finite domain