Maximum satisfiability
3 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Max-SATMax-SAT approximation
approximation
- Max-SAT approximationRandomized assignmentstandardapproximation
- Johnson's max-SATstandalonespecialistapproximation
- Local search max-SATGSAT flipsspecialistapproximation