Dr. H. Nikolaus Schaller Information Technology Research Initiative (DSITRI), Oberhaching, Germany

The Range Constraint Language

1. Between-k-and-l-out-of-n constraint sets

2. Unary, binary variables

3. Basic macros

4. I/O

5. Arbitrary boolean expressions

6. Arithmetic constraints

7. Examples

• N-Queens Problem
• Graph Coloring
• Switching
• Factorization
• Jigsaw Puzzle

Solving Range Constraint Satisfaction Problems

• DFS
• SDNN
• DBNN
• RSNN

Contact