A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

Abstract

This report describes a comparison study between the CUDD and BuDDy OBDD package. The performance of the two packages is evaluated on three sets of AI planning problems from the AIPS-98 and AIPS-00 planning competition. Our experiments indicate that CUDD has a slight implementation overhead compared to BuDDy. However, for some problems this overhead is overcome by the fact that CUDD can perform negation in constant time.
Original languageEnglish
PublisherCarnegie Mellon University
EditionTechnical Report CMU-CS-02-173
Number of pages7
Publication statusPublished - 2002
Externally publishedYes

Keywords

  • OBDD package comparison
  • AI planning
  • Performance evaluation
  • AIPS planning competition
  • Implementation overhead

Fingerprint

Dive into the research topics of 'A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems'. Together they form a unique fingerprint.

Cite this