%0 Conference Paper %1 EGRW2022 %A Ellmauthaler, Stefan %A Gaggl, Sarah Alice %A Rusovac, Dominik %A Wallner, Johannes P. %B Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022) %D 2022 %E Toni, Francesca %I IOS Press %K topic_knowledge %P 355--356 %R 10.3233/FAIA220170 %T ADF - BDD : An ADF Solver Based on Binary Decision Diagrams %V 220146

@inproceedings{EGRW2022, added-at = {2024-09-10T11:56:37.000+0200}, author = {Ellmauthaler, Stefan and Gaggl, Sarah Alice and Rusovac, Dominik and Wallner, Johannes P.}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/236e907e919fe4d3253b91773fdc06c48/scadsfct}, booktitle = {Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022)}, doi = {10.3233/FAIA220170}, editor = {Toni, Francesca}, interhash = {a170bdb9baaa8d958a20440dc730af91}, intrahash = {36e907e919fe4d3253b91773fdc06c48}, keywords = {topic_knowledge}, month = {September}, pages = {355--356}, publisher = {IOS Press}, series = {FAIA}, timestamp = {2024-11-22T15:45:55.000+0100}, title = {ADF - {BDD} : An {ADF} Solver Based on Binary Decision Diagrams}, volume = 220146, year = 2022 }