Boolean Manipulation with Free BDD's - First Experimental Results

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