Optimal Ordered Binary Decision Diagrams for Tree-like Circuits

Published in: Electron. Colloquium Comput. Complex. (1996)

Keyphrases