Daniel Brand Reinaldo A. Bergamaschi Leon Stok Don't cares in synthesis: theoretical pitfalls and practical solutions. 285-304 1998 17 IEEE Trans. on CAD of Integrated Circuits and Systems 4 http://doi.ieeecomputersociety.org/10.1109/43.703819 db/journals/tcad/tcad17.html#BrandBS98