ICAPS 2012 - Session IIIb: Enhancing Descriptions and Improving Plans. Session Chair: Roman Bartak
Paper 1: “Planning Modulo Theories: Extending the Planning Paradigm”, by P. Gregory, D. Long, M. Fox and J. C. Beck
Paper 2: " Optimizing Plans through Analysis of Action Dependencies and Independencies (short paper)", by L. Chrpa, T. L. McCluskey and H. Osborne.
Paper 3: " Optimally Relaxing Partial-Order Plans with MaxSAT (short paper)", by C. C. Muise, S. McIlraith and J. C. Beck.