Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract).

Elizabeth Broering, Satyanarayana V. Lokam

Browse the full SAT paper archive.