Optimally Relaxing Partial-Order Plans with MaxSAT

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]

Authors

Christian J. Muise

This author has not been identified. Look up 'Christian J. Muise' in Google

Sheila A. McIlraith

This author has not been identified. Look up 'Sheila A. McIlraith' in Google

J. Christopher Beck

This author has not been identified. Look up 'J. Christopher Beck' in Google