SAT-based Weighted Planning

Stefan Andrei, Peggy Doerschuk. SAT-based Weighted Planning. In Dimitrios A. Karras, Er Meng Joo, Kamal A. F. Moustafa, editors, International Conference on Automation, Robotics and Control Systems, ARCS-08, Orlando, Florida, USA, July 7-10, 2008. pages 70-75, ISRST, 2008.

Authors

Stefan Andrei

This author has not been identified. Look up 'Stefan Andrei' in Google

Peggy Doerschuk

This author has not been identified. Look up 'Peggy Doerschuk' in Google