Berg, J.; Schidler, A.; Järvisalo, M. Ordered Objectives in Maximum Satisfiability. AAAI 2026, 40, 14166-14174.