P. Gregory, D. Long, M. Fox, J. C. Beck
Planning Modulo Theories: Extending the Planning Paradigm
L. Chrpa, T. L. McCluskey, H. Osborne
Optimizing Plans through Analysis of Action Dependencies and Independencies
short paper
C. Muise, S. McIlraith, J. C. Beck
Optimally Relaxing Partial-Order Plans with MaxSAT
short paper