External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Stefan Ellmauthaler

This author has not been identified. Look up 'Stefan Ellmauthaler' in Google

Sarah Alice Gaggl

This author has not been identified. Look up 'Sarah Alice Gaggl' in Google

Dominik Rusovac

This author has not been identified. Look up 'Dominik Rusovac' in Google

Johannes Peter Wallner

This author has not been identified. Look up 'Johannes Peter Wallner' in Google
runs on