Muise, C.; McIlraith, S.; Beck, C. Optimally Relaxing Partial-Order Plans With MaxSAT. ICAPS 2012, 22, 358-362.