Inproceedings,

ADF - BDD : An ADF Solver Based on Binary Decision Diagrams

, , , and .
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, page 355--356. IOS Press, (September 2022)
DOI: 10.3233/FAIA220170

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews