AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises Help About AIspace

Is there guaranteed to be a solution? No, there might not be a solution. In this example, no values are removed from any of the variable domains during arc consistency, but there is no solution to the problem.

Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP