Back to Results
First PageMeta Content
Operations research / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Simplex algorithm / Linear programming / Simplex / First-order logic


Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤
Add to Reading List

Document Date: 2013-10-18 10:27:57

Open Document

File Size: 1,09 MB

Share Result on Facebook
UPDATE