![](https://www.pdfsearch.io/img/becd3609f25dd060fa941bbd0b58e6f4.jpg)
| Document Date: 2011-11-08 19:43:36 Open Document File Size: 391,24 KBShare Result on Facebook
City Philadelphia / / Company Dell / A. We / / Country United States / / Currency USD / / / Event Product Recall / Product Issues / / Facility University of Manchester / SMT-Lib library / TPTP library / / IndustryTerm minimisation algorithms / minimisation algorithm / interpolant generation algorithm / Inference systems / interpolation algorithms / pseudo-boolean optimisation tool / / MarketIndex TPTP / / Organization University of Manchester / G7 / / Person Laura Kov´acs Andrei / / Position General / / Product Z3 / results / / ProgrammingLanguage C++ / Lisp / / ProvinceOrState Louisiana / / Technology RAM / minimisation algorithm / interpolant generation algorithm / interpolation algorithms / minimisation algorithms / / |