The following pages link to Automated Deduction – CADE-20 (Q5394624):
Displayed 30 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations (Q1039847) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Q3075472) (← links)
- Craig Interpolation in the Presence of Non-linear Constraints (Q3172854) (← links)
- A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints (Q3172885) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- Interpolants for Linear Arithmetic in SMT (Q3540071) (← links)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Ground Interpolation for Combined Theories (Q5191102) (← links)
- Interpolation and Symbol Elimination (Q5191103) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Rewriting Interpolants (Q5415616) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Theories (Q5458340) (← links)
- Interpolation and Symbol Elimination in Vampire (Q5747760) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)