"An efficient SAT formulation for learning multiple criteria ..."

Khaled Belahcène et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics