Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction.

Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki

Browse the full SAT paper archive.