Muise, Christian, Sheila McIlraith, and Christopher Beck. 2012. “Optimally Relaxing Partial-Order Plans With MaxSAT”. Proceedings of the International Conference on Automated Planning and Scheduling 22 (1):358-62. https://doi.org/10.1609/icaps.v22i1.13537.