conferito da ICCMA 2017
- 2017
- Il solver ArgSemSAT (sviluppato in collaborazione con Federico Cerutti, Mauro Vallati e Tobia Zanetti) ottiene il primo posto nella "PR Track" (riguardante la risoluzione di problemi secondo la preferred semantics) su 15 solver partecipanti alla track.
