The following pages link to (Q2754147):
Displaying 6 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)
- A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search. (Q1853552) (← links)
- On converting CNF to DNF (Q2576880) (← links)
- (Q4529982) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)
