CSIsat: Interpolation for LA+EUF
Authors:
- 12 August 2008
- book chapter
- Published by Springer Nature
- p. 304-308
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- PicoSAT EssentialsJournal on Satisfiability, Boolean Modeling and Computation, 2008
- Efficient Interpolant Generation in Satisfiability Modulo Theories2008
- Constraint Solving for Interpolation2006
- Solving SAT and SAT Modulo TheoriesJournal of the ACM, 2006
- An interpolating theorem proverTheoretical Computer Science, 2005
- A Combination Method for Generating InterpolantsLecture Notes in Computer Science, 2005
- Efficient Satisfiability Modulo Theories via Delayed Theory CombinationLecture Notes in Computer Science, 2005
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957