J. Berg, A. Schidler, and M. Järvisalo, “Ordered Objectives in Maximum Satisfiability”, AAAI, vol. 40, no. 17, pp. 14166–14174, Mar. 2026.