algo
now
.net
AI scenarios
practice areas
algo puzzles
Legacy reference
lessons
atlas
problems
fields
legacy
/
algorithms
/
Max-SAT approximation
Max-SAT approximation
Pairings in the atlas
Randomized assignment
standard
Max-SAT
approximation
Rivals: other methods for the same problems
Johnson's max-SAT
Local search max-SAT
Where it sits
approximation
·
Optimization & Operations Research