Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams.

Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski

Browse the full DAC paper archive.