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

Aina Niemetz, Mathias Preiner, Armin Biere

Browse the full FMCAD paper archive.