DBLP Record 'conf/arcsf/AndreiD08'

BibTeX

@inproceedings{DBLP:conf/arcsf/AndreiD08,
  author    = {Stefan Andrei and
               Peggy Doerschuk},
  title     = {SAT-based Weighted Planning},
  booktitle = {ARCS},
  year      = {2008},
  pages     = {70-75},
  crossref  = {DBLP:conf/arcsf/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/arcsf/2008,
  editor    = {Dimitrios A. Karras and
               Er Meng Joo and
               Kamal A. F. Moustafa},
  title     = {International Conference on Automation, Robotics and Control
               Systems, ARCS-08, Orlando, Florida, USA, July 7-10, 2008},
  booktitle = {ARCS},
  publisher = {ISRST},
  year      = {2008},
  isbn      = {978-1-60651-001-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}