Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT. - Emanuele Civini; Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (CoRR, 2026)

d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries. - Gabriele Masina; Emanuele Civini; Massimo Michelutti; Giuseppe Spallitta; Roberto Sebastiani (CoRR, 2026)