Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.

Macha Nikolskaa, Antoine Rauzy, David James Sherman

Browse the full FMCAD paper archive.