Back to Results
First PageMeta Content



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 Washington
Add to Reading List

Document Date: 2013-07-24 08:46:26


Open Document

File Size: 648,77 KB

Share Result on Facebook
UPDATE