Invited talk: Developing Efficient SMT Solvers.

Leonardo Mendona de Moura

Browse the full CADE paper archive.