Constraint solving for interpolation
type: Item
instance of: scholarly article
title: Constraint solving for interpolation
zbMATH Open document ID: 1213.68389
author: Andrey Rybalchenko
author: Viorica Sofronie-Stokkermans
published in: Journal of Symbolic Computation
publication date: 2010-11-10T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5814772
zbMATH Keywords: interpolation
zbMATH Keywords: constraint solving
zbMATH Keywords: hierarchical reasoning
zbMATH Keywords: program verification
describes a project that uses: FOCI
describes a project that uses: SICStus
describes a project that uses: ARMC
describes a project that uses: CSIsat
MaRDI profile type: Publication
full work available at URL: j.jsc.2010.06.005
OpenAlex ID: W2108174021
cites work: Computer Aided Verification
cites work: Efficient Interpolant Generation in Satisfiability Modulo Theories
cites work: Interpolant Generation for UTVPI
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Ground Interpolation for Combined Theories
cites work: Abstractions from proofs
cites work: Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
cites work: Interpolation and Symbol Elimination
cites work: Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
cites work: Interpolants for Linear Arithmetic in SMT
cites work: An interpolating theorem prover
cites work: Lazy Abstraction with Interpolants
cites work: Quantified Invariant Generation Using an Interpolating Saturation Prover
cites work: Model checking duration calculus: a practical approach
cites work: Model Checking Duration Calculus: A Practical Approach
cites work: The octagon abstract domain
cites work: Lower bounds for resolution and cutting plane proofs and monotone computations
cites work: Constraint Solving for Interpolation
cites work: Q3818127
cites work: Automated Deduction – CADE-20
cites work: Interpolation in Local Theory Extensions
cites work: Interpolation in local theory extensions
cites work: Real addition and the polynomial hierarchy
DOI: 10.1016/J.JSC.2010.06.005
Recommended article: Constraint Solving for Interpolation
Recommended article: Lagrange interpolation with constraints
Recommended article: Approximation with interpolatory constraints
Recommended article: An Algorithm for Constrained Interpolation
Recommended article: Q4461987
Recommended article: Interpolation with multiple norm constraints
Recommended article: Constrained interpolation and smoothing
Recommended article: Q4026179
Recommended article: On best constrained interpolation
Recommended article: Real interpolation with constraints
description: scientific article; zbMATH DE number 5814772