Information Technology Reference
In-Depth Information
Exercise
1. What is constraint satisfaction problem? What categories can constraint
reasoning be divided into?
2. What is arc consistency? Illustrate its asymmetry with examples.
3. Please write constraint propagation AC-1 and AC-3 algorithm, compare the
similarities and differences between them.
4. Try to write influence-based backjumping algorithm IBMD using
programming language, and test it through N queen's question. Compare it
with other constraint algorithms.
5. How make constraint reasoning system COPS can solve symbolic reasoning
problem and also do numeric analysis?
6. Write a scheduling system of a workshop with ILOG Solver language.
