Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner. ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth 0001, Martin Caminada, Hiroyuki Kido, editors, Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022. Volume 353 of Frontiers in Artificial Intelligence and Applications, pages 355-356, IOS Press, 2022. [doi]
Abstract is missing.