Pages that link to "Item:Q5747778"

The following pages link to An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (Q5747778):

Displaying 14 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)
• The map equality domain (Q1629967) (← 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)
• Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
• Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)