Better Lemmas with Lambda Extraction.

Mathias Preiner, Aina Niemetz, Armin Biere

Browse the full FMCAD paper archive.