Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams.

Bill Lin, A. Richard Newton

Browse the full ICCD paper archive.