Impact of Community Structure on SAT Solver Performance.

Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon

Browse the full SAT paper archive.