Efficient E-matching for SMT solvers (2007)

by Leonardo de Moura , Nikolaj Bjørner
Citations:35 - 7 self