Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor
Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries
DATE, 1997.
@inproceedings{EDTC-1997-SchollMHM,
author = "Christoph Scholl and S. Melchior and Günter Hotz and Paul Molitor",
booktitle = "{Proceedings of the Second European Design and Test Conference}",
doi = "10.1109/EDTC.1997.582364",
pages = "229--234",
publisher = "{IEEE}",
title = "{Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries}",
year = 1997,
}