Exploiting Treewidth for Projected Model Counting and Its Limits.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Browse the full SAT paper archive.