Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams
DAC, 1994.
@inproceedings{DAC-1994-DrechslerSTBP,
author = "Rolf Drechsler and Andisheh Sarabi and Michael Theobald and Bernd Becker and Marek A. Perkowski",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196444",
isbn = "0-7803-1836-6",
pages = "415--419",
publisher = "{ACM Press}",
title = "{Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams}",
year = 1994,
}