Constraint Satisfaction Problems

Arc consistency

• Y = X + 1
• Z >= Y + 1
• W != Y
• W != Z

Step by step visualization of the procedure. Click to restart the simulation.

Backtracking

Map colouring using backtracking. Click to restart the simulation.

Min Conflicts

Min conflicts stuff

Tree CSP

Tree CSP Stuff