Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck. Optimally Relaxing Partial-Order Plans with MaxSAT. In Lee McCluskey, Brian Williams, José Reinaldo Silva, Blai Bonet, editors, Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012. AAAI, 2012. [doi]
Abstract is missing.