Do We Really Need Common Variable Orders for Synthesizing OBDDs?

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