Nils Geilen, Matthias Thimm. Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. In Elizabeth Black, Sanjay Modgil, Nir Oren, editors, Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers. Volume 10757 of Lecture Notes in Computer Science, pages 143-149, Springer, 2017. [doi]
Abstract is missing.