Leveraging linear and mixed integer programming for SMT

Tim King
Clark Barrett
Cesare Tinelli
FMCAD, IEEE (2014), pp. 139-146

Abstract