Stefan Höreth, Rolf Drechsler
Dynamic Minimization of Word-Level Decision Diagrams
DATE, 1998.
@inproceedings{DATE-1998-HorethD,
author = "Stefan Höreth and Rolf Drechsler",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655921",
pages = "612--617",
publisher = "{IEEE Computer Society}",
title = "{Dynamic Minimization of Word-Level Decision Diagrams}",
year = 1998,
}