@inproceedings{mathsat5, author = {Alessandro Cimatti and Alberto Griggio and Bastiaan Schaafsma and Roberto Sebastiani}, title = {{The MathSAT5 SMT Solver}}, editor = {Nir Piterman and Scott Smolka}, booktitle = {Proceedings of TACAS}, year = {2013}, volume = {7795}, series = {LNCS}, publisher = {Springer}, }