Simplex with sum of infeasibilities for SMT

Tim King, Clark Barrett, Bruno Dutertre

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Simplex with sum of infeasibilities for SMT'. Together they form a unique fingerprint.

Mathematics