The following pages link to (Q3931248):
Displaying 5 items.
- A randomized algorithm for 3-SAT (Q626900) (← links)
- Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
- On the complexity of unique circuit SAT (Q2202678) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)
