The following pages link to Princess (Q18941):
Displaying 20 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)
- Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. (Q5389080) (← links)
