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]

@inproceedings{MuiseMB12a,
  title = {Optimally Relaxing Partial-Order Plans with MaxSAT},
  author = {Christian J. Muise and Sheila A. McIlraith and J. Christopher Beck},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4719},
  researchr = {https://researchr.org/publication/MuiseMB12a},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012},
  editor = {Lee McCluskey and Brian Williams and José Reinaldo Silva and Blai Bonet},
  publisher = {AAAI},
  isbn = {978-1-57735-562-5},
}