Search in Constraints
The basics of search are (guess what) the same as usual
Depth first search is the most commonly used
What toolkits (Solver, Mozart … ) add is
- propagation during search done automatically
In particular they offer efficient implementations of propagation algorithms like
- Forward checking
- Maintaining Arc consistency