Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.

Thomas Eiter, Markus Hecher, Rafael Kiesel

Browse the full KR paper archive.