Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams,” 31st Design Automation Conference (1994)

by R Drechsler, A Sarabi, M Theobald, B Becker, M A Perkowski