Berg J, Schidler A, Järvisalo M. Ordered Objectives in Maximum Satisfiability. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 15];40(17):14166-74. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/38429