Efficient use of large don't cares in high-level and logic synthesisReinaldo A. BergamaschiD. Brandet al.1995ICCAD 1995