The MathSAT 4SMT Solver.

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani

Browse the full CAV paper archive.