Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima

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