Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization.

Petr Mikusek, Vclav Dvork

Browse the full DSD paper archive.