Planning in the Fluent Calculus Using Binary Decision Diagrams