Leveraging linear and mixed integer programming for SMT.

Tim King, Clark W. Barrett, Cesare Tinelli

Browse the full FMCAD paper archive.