"Minipref: A Tool for Preferences in SAT (short paper)."

Carmine Dodaro, Alessandro Previti (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics