Matti Järvisalo. SAT for Argumentation. In Matthias Thimm, Federico Cerutti, Mauro Vallati, editors, Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018. Volume 2171 of CEUR Workshop Proceedings, pages 1-3, CEUR-WS.org, 2018. [doi]