Fast Counting with Bounded Treewidth.

Michael Jakl, Reinhard Pichler, Stefan Rmmele, Stefan Woltran

Browse the full LPAR paper archive.