Carmine Dodaro, Alessandro Previti. Minipref: A Tool for Preferences in SAT (short paper). In Marco Maratea, Mauro Vallati, editors, Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019. Volume 2538 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.