![Mathematical logic / Logic / Theoretical computer science / Automated theorem proving / Formal methods / Logic in computer science / Electronic design automation / Craig interpolation / Interpolation / Satisfiability modulo theories / Unit propagation / Resolution Mathematical logic / Logic / Theoretical computer science / Automated theorem proving / Formal methods / Logic in computer science / Electronic design automation / Craig interpolation / Interpolation / Satisfiability modulo theories / Unit propagation / Resolution](https://www.pdfsearch.io/img/e8b4185bc270213efdd0693cf4a96cee.jpg) Date: 2015-03-16 05:12:39Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution | | Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa JohanssonAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 327,69 KBShare Document on Facebook
|