Bounds on BDD-Based Bucket Elimination