Optimization of Partial-Order Plans via MAXSAT. Muise, C.; McIlraith, S. A.; and Beck, J. C. 2011.
In Proceedings of the ICAPS-11 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS).
Optimization of Partial-Order Plans via MAXSAT
Bibtex