Muise, C., S. McIlraith, and C. Beck. “Optimally Relaxing Partial-Order Plans With MaxSAT”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 358-62, doi:10.1609/icaps.v22i1.13537.