backtracking-cp

53 entries in Search, Constraints & Games.

• Backtracking searchMinimum remaining valuescanonfull lesson ▸backtracking-cp
• Backtracking searchDegree heuristicstandardbacktracking-cp
• Backtracking searchLeast constraining valuestandardbacktracking-cp
• Backtracking searchFail-first orderingstandardbacktracking-cp
• Branch and boundFractional relaxation boundcanonfull lesson ▸backtracking-cp
• Branch and boundLinear programming relaxation boundcanonbacktracking-cp
• Branch and boundLagrangian relaxation boundstandardbacktracking-cp
• Branch and boundBest-first node selectionstandardbacktracking-cp
• Branch and boundDepth-first node selectionstandardbacktracking-cp
• Branch and bound1-tree boundstandardbacktracking-cp
• Branch and boundReduced-cost matrix boundspecialistbacktracking-cp
• Branch and cutCutting-plane separationstandardbacktracking-cp
• Branch and priceColumn generation pricingspecialistbacktracking-cp
• Forward checkingstandalonestandardbacktracking-cp
• Maintaining arc consistencyAC-3 propagationcanonbacktracking-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
• Conflict-directed backjumpingstandalonestandardbacktracking-cp
• Graph-based backjumpingstandalonespecialistbacktracking-cp
• Dynamic backtrackingEliminated-explanation memoryspecialistbacktracking-cp
• BackmarkingConsistency-check memoizationspecialistbacktracking-cp
• Nogood learningstandalonestandardbacktracking-cp
• Restart with nogoodsRandomized restart schedulespecialistbacktracking-cp
• Min-conflictsConflict-count repairstandardbacktracking-cp
• DPLLUnit propagationcanonfull lesson ▸backtracking-cp
• DPLLPure-literal eliminationstandardbacktracking-cp
• DPLLDLIS branchingspecialistbacktracking-cp
• CDCLVSIDS branchingcanonbacktracking-cp
• CDCLFirst-UIP clause learningcanonbacktracking-cp
• CDCLTwo-watched-literal propagationstandardbacktracking-cp
• CDCLLuby restart schedulestandardbacktracking-cp
• CDCLPhase savingstandardbacktracking-cp
• CDCLLBD clause deletionspecialistbacktracking-cp
• Look-ahead SAT solvingFailed-literal probingspecialistbacktracking-cp
• WalkSATRandom-walk flip choicestandardbacktracking-cp
• GSATGreedy flip maximizationspecialistbacktracking-cp
• Survey propagationCavity-magnetization messagesspecialistbacktracking-cp
• DPLL(T)Theory-solver integrationstandardbacktracking-cp
• Bound propagationstandalonespecialistbacktracking-cp
• Knuth's Algorithm XDancing linkscanonbacktracking-cp
• Knuth's Algorithm XMinimum-column branchingstandardbacktracking-cp
• Davis-Putnam resolutionVariable eliminationspecialistbacktracking-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
• Beam stack searchBacktrackable beamspecialistbacktracking-cp
• Constraint propagation for SudokuNaked and hidden singlesstandardbacktracking-cp