@book{9c0f1acd1aad4f588cac34e4fbff7eef,
title = "A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems",
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.",
keywords = "OBDD package comparison, AI planning, Performance evaluation, AIPS planning competition, Implementation overhead",
author = "Jensen, {Rune M{\o}ller}",
year = "2002",
language = "English",
publisher = "Carnegie Mellon University",
edition = "Technical Report CMU-CS-02-173",
}