@inproceedings{GningM20,
author = {Serigne Gning and Jean-Guy Mailly},
title = {On the Impact of {SAT} Solvers on Argumentation Solvers},
booktitle = {3rd International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument ({SAFA@COMMA}'20)},
pages = {68--73},
year = {2020},
}