CORAL Research Publications

• By Date • By Publication Type • By Research Category • By Author (Currently at CMU) • By Author (Past and Current CORAL Contributors) •

An Efficient BDD-Based A* Algorithm

Rune M. Jensen, Randy E. Bryant, and Manuela M. Veloso. An Efficient BDD-Based A* Algorithm . In Proceedings of AIPS'02 Workshop on Planning via Model Checking, Toulouse, April 2002.

Download

[PDF]137.7kB  

Abstract

(unavailable)

BibTeX Entry

@Inproceedings(02aipsw-rune,
  Author =	 "Rune M. Jensen and Randy E. Bryant and Manuela
                  M. Veloso",
  Title =	 "{A}n Efficient {BDD}-Based {A}* Algorithm ",
  BookTitle =	 "Proceedings of AIPS'02 Workshop on Planning via
                  Model Checking",
  Month =	 "April",
  Year =	 2002,
  Address =	 "Toulouse",
  bib2html_pubtype ={Refereed Conference},
  bib2html_rescat ={Planning}
)

Generated by bib2html.pl (written by Patrick Riley ) on Tue Oct 09, 2007 00:00:13

[home] [news] [people] [robosoccer] [projects] [multimedia] [download] [publications] [contact us]