Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner. Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 177-189, Springer, 2022. [doi]
Abstract is missing.