Cited in
(47)- ICE-based refinement type discovery for higher-order functional programs
- Reasoning in the theory of heap: satisfiability and interpolation
- Preface: Special issue on interpolation
- Proof tree preserving tree interpolation
- Interpolation systems for ground proofs in automated deduction: a survey
- Parallelizing SMT solving: lazy decomposition and conciliation
- Interpolation and model checking
- An interpolating sequent calculus for quantifier-free Presburger arithmetic
- An extension of lazy abstraction with interpolation for programs with arrays
- Guiding Craig interpolation with domain-specific abstractions
- Rewriting-based quantifier-free interpolation for a theory of arrays
- Quantifier-free interpolation in combinations of equality interpolating theories
- An interpolating sequent calculus for quantifier-free Presburger arithmetic
- A calculus for modular loop acceleration
- On recursion-free Horn clauses and Craig interpolation
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
- Complete instantiation-based interpolation
- Efficient interpolant generation in satisfiability modulo linear integer arithmetic
- FLATA
- bv2epr
- OpenSMT
- Eldarica
- HMC
- HSF
- SLAB
- SCOOT
- CSIsat
- Skeptik
- FOCI
- FunArray
- Wolverine
- c2i
- DDVerify
- EUREKA
- MoCHi
- LoAT
- RAHFT
- Beyond quantifier-free interpolation in extensions of Presburger arithmetic
- On interpolation in decision procedures
- A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints
- Lazy abstraction with interpolants for arrays
- SAT-Based Model Checking
- Craig interpolation with clausal first-order tableaux
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
- Solving non-linear Horn clauses using a linear Horn clause solver
- Learning inductive invariants by sampling from frequency distributions
- Quantifier-free interpolation of a theory of arrays
This page was built for software: Princess
