Conference paperEfficient use of large don't cares in high-level and logic synthesisReinaldo A. Bergamaschi, D. Brand, et al.ICCAD 1995