The Mu-toksia argumentation reasoning engine by Andreas Niskanen and Matti Järvisalo of the Constraint Reasoning and Optimization group, implemented by Niskanen, has ranked number-1 in all of the 21 main track categories as well as several of the dynamic tracks of ICCMA 2019, 3rd International Competition on Computational Models of Argumentation.
The Mu-toksia solver is solely based on harnessing the power of state-of-the-art Boolean satisfiability (SAT) solving technology in an optimized way in order to efficiently reason about hard computational problems over abstract argumentation frameworks.
The Third International Competition on Computational Models of Argumentation (ICCMA'19) focused on reasoning tasks in abstract argumentation frameworks, a topical area of AI and knowledge representation and reasoning research, attracting several international participants from various research groups around the world.