Combining ordered best-first search with branch and bound for exact BDD minimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rüdiger Ebendt' in GoogleThis author has not been identified. Look up 'Wolfgang Günther' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL