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.
@inproceedings{AndreiD08,
title = {SAT-based Weighted Planning},
author = {Stefan Andrei and Peggy Doerschuk},
year = {2008},
tags = {rule-based},
researchr = {https://researchr.org/publication/AndreiD08},
cites = {0},
citedby = {0},
pages = {70-75},
booktitle = {International Conference on Automation, Robotics and Control Systems, ARCS-08, Orlando, Florida, USA, July 7-10, 2008},
editor = {Dimitrios A. Karras and Er Meng Joo and Kamal A. F. Moustafa},
publisher = {ISRST},
}