Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting

Thomas Eiter, Markus Hecher, Rafael Kiesel. Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 269-279, 2021. [doi]

Abstract

Abstract is missing.