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