Simplex with sum of infeasibilities for SMT.

Tim King, Clark W. Barrett, Bruno Dutertre

Browse the full FMCAD paper archive.