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

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 Washington Add to Reading List Source URL: cav2013.forsyte.at Download Document from Source Website File Size: 648,77 KB Share Document on Facebook