The following pages link to (Q2754147):
Displayed 4 items.
- Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT. (Q1408377) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- On converting CNF to DNF (Q2576880) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)