Binary Decision Diagrams and the Multiple Variable Order Problem

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)