Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT.

Emanuele Civini, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Browse the full IJCAR paper archive.