Binary Decision Diagrams and the Multiple Variable Order Problem