Combining ordered best-first search with branch and bound for exact BDD minimization.

Rdiger Ebendt, Wolfgang Gnther, Rolf Drechsler

Browse the full ASPDAC paper archive.