Boolean satisfiability
16 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Boolean satisfiabilityMolecular satisfiabilityBoolean constraint solvingModern SAT solvingSAT solvingSAT solver engineeringHard random SATLocal-search SAT
backtracking-cp
- DPLLUnit propagationcanonfull lesson ▸backtracking-cp
- DPLLPure-literal eliminationstandardbacktracking-cp
- DPLLDLIS branchingspecialistbacktracking-cp
- Davis-Putnam resolutionVariable eliminationspecialistbacktracking-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
- Survey propagationCavity-magnetization messagesspecialistbacktracking-cp
- WalkSATRandom-walk flip choicestandardbacktracking-cp
- GSATGreedy flip maximizationspecialistbacktracking-cp
graphs-structure
- 2-SAT via implication SCCstandalonestandardgraphs-structure
unconventional-computing
- Lipton's DNA SATstandalonespecialistunconventional-computing