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]

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Markus Hecher

This author has not been identified. Look up 'Markus Hecher' in Google

Rafael Kiesel

This author has not been identified. Look up 'Rafael Kiesel' in Google