Complexity and Algorithms for Well-Structured k-SAT Instances.

Konstantinos Georgiou, Periklis A. Papakonstantinou

Browse the full SAT paper archive.