Publications

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

David Schaller, Manuela Geiß, Marc Hellmuth, and Peter F. Stadler. Best Match Graphs With Binary Trees. IEEE/ACM Transactions on Computational Biology and Bioinformatics, (20)3:1679–1690, Institute of Electrical and Electronics Engineers (IEEE), May 2023. [PUMA: Trees Graphs Binary Best Match] URL