Back to Results
First PageMeta Content
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


Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson
Add to Reading List

Document Date: 2015-03-16 05:12:39

Open Document

File Size: 327,69 KB

Share Result on Facebook