![](https://www.pdfsearch.io/img/cd3d4f127d6678238f8445366cfd8000.jpg) Date: 2013-07-24 08:46:26
| | Proof complexity Boolean functions Craig’s interpolation Feasible interpolation Resolution Cutting planes The Frege System The interpolation technique in proof complexity Pavel Hrubeš University of WashingtonAdd to Reading ListSource URL: cav2013.forsyte.atDownload Document from Source Website File Size: 648,77 KBShare Document on Facebook
|