Logic optimization of circuits with pre-defined internal don't cares. - J. C. Rau; J. H. Wang; S. C. Chang (ICECS, 2001)