The following pages link to Princess (Q18941):
Displaying 28 items.
- Preface: Special issue on interpolation (Q286728) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- An interpolating sequent calculus for quantifier-free Presburger arithmetic (Q438556) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Quantifier-Free Interpolation of a Theory of Arrays (Q2887061) (← links)
- Lazy Abstraction with Interpolants for Arrays (Q2891439) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Q3075472) (← links)
- A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints (Q3172885) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- (Q5015369) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. (Q5389080) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (Q5747778) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5891705) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
