Leveraging linear and mixed integer programming for SMT

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

Abstract

Research Areas