Petr Mikusek, Václav Dvorák. Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization. In Antonio Núñez, Pedro P. Carballo, editors, 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2009, 27-29 August 2009, Patras, Greece. pages 605-608, IEEE Computer Society, 2009. [doi]
Abstract is missing.