On Relationship Between ITE and BDD.

William K. C. Lam, Robert K. Brayton

Browse the full ICCD paper archive.