Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler. Combining ordered best-first search with branch and bound for exact BDD minimization. In Masaharu Imai, editor, Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. pages 875-878, IEEE, 2004. [doi]
@inproceedings{EbendtGD04a,
title = {Combining ordered best-first search with branch and bound for exact BDD minimization},
author = {Rüdiger Ebendt and Wolfgang Günther and Rolf Drechsler},
year = {2004},
doi = {10.1145/1015090.1015323},
url = {http://doi.acm.org/10.1145/1015090.1015323},
tags = {search},
researchr = {https://researchr.org/publication/EbendtGD04a},
cites = {0},
citedby = {0},
pages = {875-878},
booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004},
editor = {Masaharu Imai},
publisher = {IEEE},
isbn = {0-7803-8175-0},
}