Turbo-charging Lemmas on demand with don't care reasoning

Publication
Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014