Lemma Learning in SMT on Linear Constraints.

Yinlei Yu, Sharad Malik

Browse the full SAT paper archive.