Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Linear Sifting of Decision Diagrams
DAC, 1997.
@inproceedings{DAC-1997-MeinelST,
author = "Christoph Meinel and Fabio Somenzi and Thorsten Theobald",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266066",
isbn = "0-89791-920-3",
pages = "202--207",
publisher = "{ACM Press}",
title = "{Linear Sifting of Decision Diagrams}",
year = 1997,
}