Efficient E-Matching for SMT Solvers.

Leonardo Mendona de Moura, Nikolaj S. Bjrner

Browse the full CADE paper archive.