Leveraging linear and mixed integer programming for SMT | IEEE Conference Publication | IEEE Xplore