Knowledge Processing and Information Systems
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting

@inproceedings{DBLP:conf/kr/EiterHK21,
  title = {Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting},
  author = {Eiter, Thomas and Hecher, Markus and Kiesel, Rafael},
  booktitle = {{KR}},
  pages = {269--279},
  year = {2021}
}