A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.

Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap

Browse the full SYNASC paper archive.