Muise C, McIlraith S, Beck C. Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS [Internet]. 2012May14 [cited 2024Nov.25];22(1):358-62. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13537