Stem ksat$ (all stems)
2 papers:
- SAT-J-2004-Interian05 #algorithm #approximate #random
- Approximation Algorithm for Random MAX- kSAT (YI), pp. 173–182.
- SAT-2004-Interian #algorithm #approximate #random
- Approximation Algorithm for Random MAX-kSAT (YI), pp. 64–68.