algo
now
.net
new ·
18
pairs
atlas
problems
fields
listen
quant
AI
philosophy
algonow
/
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