Ranking with Multiple Reference Points: Efficient SAT-based learning procedures. (February 2023)