Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract). - Elizabeth Broering; Satyanarayana V. Lokam (SAT, 2003)