Exploring the use of BDDs in conformant planning