E cient representation and manipulation of switching functions based on ordered kronecker functional decision diagrams (1994)

by R Drechsler, A Sarabi, M Theobald, B Becker, M A Perkowski
Venue:In Design Automation Conf