New Width Parameters for Model Counting.

Robert Ganian, Stefan Szeider

Browse the full SAT paper archive.