Forward checking
Pairings in the atlas
- standalonestandardConstraint propagationbacktracking-cp
Rivals: other methods for the same problems
- AC-2001 arc consistency
- AC-4 arc consistency
- And-or search
- Backmarking
- Backtracking search
- Bound propagation
- Bounds consistency
- Bucket elimination
- Conflict-directed backjumping
- Depth-bounded discrepancy search
- Dynamic backtracking
- Generalized arc consistency
- Graph-based backjumping
- Iterative broadening
- Limited discrepancy search
- Maintaining arc consistency
- Min-conflicts
- Nogood learning
- Path consistency
- Regin's algorithm
- Restart with nogoods