Jump to Content

Leveraging linear and mixed integer programming for SMT

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

Abstract

Research Areas