Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP.

Ruiwen Chen, Rahul Santhanam

Browse the full SAT paper archive.