The MathSAT5 SMT Solver.

Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani

Browse the full TACAS paper archive.