algo
now
.net
new ·
18
pairs
atlas
problems
fields
listen
quant
AI
philosophy
algonow
/
algorithms
/
Local search max-SAT
Local search max-SAT
Pairings in the atlas
GSAT flips
specialist
Max-SAT approximation
approximation
Rivals: other methods for the same problems
Johnson's max-SAT
Max-SAT approximation
Where it sits
approximation
·
Optimization & Operations Research