Constraint satisfaction
25 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Constraint satisfactionSudoku and constraint gridsLocal-search CSPHeavy-tail constraint searchBacktracking searchHeuristic-trusting backtrackingConstraint and inferenceGraphical-model reasoningConstraint propagationConstraint tighteningGlobal-constraint propagationInterval constraint propagationAlldifferent propagationMixed-integer presolve
backtracking-cp
- Backtracking searchMinimum remaining valuescanonfull lesson ▸backtracking-cp
- Backtracking searchDegree heuristicstandardbacktracking-cp
- Backtracking searchLeast constraining valuestandardbacktracking-cp
- Backtracking searchFail-first orderingstandardbacktracking-cp
- Maintaining arc consistencyAC-3 propagationcanonbacktracking-cp
- Conflict-directed backjumpingstandalonestandardbacktracking-cp
- Graph-based backjumpingstandalonespecialistbacktracking-cp
- Dynamic backtrackingEliminated-explanation memoryspecialistbacktracking-cp
- BackmarkingConsistency-check memoizationspecialistbacktracking-cp
- Nogood learningstandalonestandardbacktracking-cp
- Forward checkingstandalonestandardbacktracking-cp
- AC-4 arc consistencySupport-count bookkeepingspecialistbacktracking-cp
- AC-2001 arc consistencyLast-support memoryspecialistbacktracking-cp
- Path consistencystandalonespecialistbacktracking-cp
- Generalized arc consistencystandalonespecialistbacktracking-cp
- Bounds consistencystandalonespecialistbacktracking-cp
- Regin's algorithmMatching-based alldifferent filterspecialistbacktracking-cp
- Restart with nogoodsRandomized restart schedulespecialistbacktracking-cp
- Min-conflictsConflict-count repairstandardbacktracking-cp
- Bound propagationstandalonespecialistbacktracking-cp
- Bucket eliminationInduced-width orderingspecialistbacktracking-cp
- And-or searchContext-based cachingspecialistbacktracking-cp
- Limited discrepancy searchDiscrepancy-count budgetstandardbacktracking-cp
- Depth-bounded discrepancy searchstandalonespecialistbacktracking-cp
- Iterative broadeningWidening breadth boundspecialistbacktracking-cp