Turbo-charging Lemmas on demand with don't care reasoning | IEEE Conference Publication | IEEE Xplore