![Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Compiler optimizations / Polyhedron / Satisfiability Modulo Theories / Boolean satisfiability problem / Linear programming / Theoretical computer science / Mathematics / Applied mathematics Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Compiler optimizations / Polyhedron / Satisfiability Modulo Theories / Boolean satisfiability problem / Linear programming / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/3749bf11c4e6d8415df7b446ec6b5dea.jpg)
| Document Date: 2013-05-14 05:12:13 Open Document File Size: 789,12 KBShare Result on Facebook
/ IndustryTerm partial solutions / exponential algorithms / / Movie Last Words 2 / / Person Paul Feautrier / / ProvinceOrState Alberta / / Technology Ellipso¨ıd algorithm / 1 GFlops processor / /
SocialTag |