S.: Ic3 modulo theories via implicit predicate abstraction (0)

by A Cimatti, A Griggio, S Mover, Tonetta
Venue:In: Proc. TACAS. (2014