Back to Results
First PageMeta Content
Mathematical optimization / Operations research / Constraint programming / Logic in computer science / Electronic design automation / Satisfiability Modulo Theories / Solver / Nl / AMPL / Theoretical computer science / Applied mathematics / Mathematics


technology from seed Verifying Optimizations using SMT Solvers Nuno Lopes
Add to Reading List

Document Date: 2013-12-16 20:46:26

Open Document

File Size: 1,35 MB

Share Result on Facebook
UPDATE