Applications and challenges in satisfiability modulo theories (2011)

by L de Moura, N Bjørner
Venue:In Workshop on Invariant Generation (WING