FOCI

swMATH12868MaRDI QIDQ24792FDOQ24792

Author name not available (Why is that?)

Cited In (63)

• Abstract Counterexamples for Non-disjunctive Abstractions
• Rewriting Interpolants
• Title not available (Why is that?)
• Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
• Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
• Challenges in Constraint-Based Analysis of Hybrid Systems
• Interpolation and model checking for nonlinear arithmetic
• Latticed \(k\)-induction with an application to probabilistic programs
• Unbounded Model-Checking with Interpolation for Regular Language Constraints
• Resolution proof transformation for compression and interpolation
• Competent predicate abstraction in model checking
• State of the Union: Type Inference Via Craig Interpolation
• Reasoning in the theory of heap: satisfiability and interpolation
• Title not available (Why is that?)
• Interpolant Generation for UTVPI
• Ground Interpolation for Combined Theories
• Interpolation and Symbol Elimination
• Labelled interpolation systems for hyper-resolution, clausal, and local proofs
• Preface: Special issue on interpolation
• Proof tree preserving tree interpolation
• Interpolation systems for ground proofs in automated deduction: a survey
• Parallelizing SMT solving: lazy decomposition and conciliation
• SAT-based verification for timed component connectors
• Quantifier-free interpolation in combinations of equality interpolating theories
• A Tutorial on Satisfiability Modulo Theories
• An interpolating sequent calculus for quantifier-free Presburger arithmetic
• Efficient Interpolant Generation in Satisfiability Modulo Theories
• Quantified Invariant Generation Using an Interpolating Saturation Prover
• An institution-independent proof of the Robinson consistency theorem
• Experience of improving the BLAST static verification tool
• Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
• Complete instantiation-based interpolation
• Craig interpolation in the presence of unreliable connectives
• Efficient interpolant generation in satisfiability modulo linear integer arithmetic
• Interpolation in computing science: The semantics of modularization
• Constraint solving for interpolation
• Improved Single Pass Algorithms for Resolution Proof Reduction
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
• Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
• Equality detection for linear arithmetic constraints
• Interpolation and Model Checking
• Craig Interpolation in the Presence of Non-linear Constraints
• On Interpolation and Symbol Elimination in Theory Extensions
• SAT-Based Model Checking
• Craig interpolation with clausal first-order tableaux
• Preservation of Craig interpolation by the product of matrix logics
• Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
• Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
• Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
• On interpolation in automated theorem proving
• An interpolating theorem prover
• Gene sorting in differential evolution with cross-generation mutation
• A Survey of Satisfiability Modulo Theory
• Ground interpolation for the theory of equality
• Quantifier-free interpolation of a theory of arrays
• Tools and Algorithms for the Construction and Analysis of Systems
• On Interpolation in Decision Procedures
• Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
• A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints
• Satisfiability Modulo Theories
• Interpolants for Linear Arithmetic in SMT
• Ground Interpolation for the Theory of Equality

This page was built for software: FOCI