C. Muise, S. McIlraith, and C. Beck, “Optimally Relaxing Partial-Order Plans with MaxSAT”, ICAPS, vol. 22, no. 1, pp. 358-362, May 2012.