| 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 / / |
Playing in the Grey Area of Proofs Kryˇstof Hoder Laura Kov´acs Andrei Voronkov