Publications

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, und Johannes P. Wallner. ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, und Hiroyuki Kido (Hrsg.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, 01.09.2022. [PUMA: FIS_scads dialectical diagrams, decision topic_knowledge binary rust-lang abstract frameworks,]