First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 648,77 KBShare Document on Facebook |