de Moura and Nikolaj Bjørner. Efficient E-matching for smt solvers (2007)

by Leonardo
Venue:In CADE-21