@inproceedings{KinBT-FMCAD-14,
 author = {Timothy King and Clark Barrett and Cesare Tinelli},
 title = {Leveraging Linear and Mixed Integer Programming for {SMT}},
 booktitle = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design},
 series = {FMCAD '14},
 year = {2014},
 isbn = {978-0-9835678-4-4},
 location = {Lausanne, Switzerland},
 pages = {31:195--31:202},
 publisher = {IEEE},
}