Constraint solving for interpolation (Q604394): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jsc.2010.06.005 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: CSIsat / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jsc.2010.06.005 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2108174021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient Interpolant Generation in Satisfiability Modulo Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolant Generation for UTVPI / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ground Interpolation for Combined Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstractions from proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation and Symbol Elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolants for Linear Arithmetic in SMT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: An interpolating theorem prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lazy Abstraction with Interpolants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantified Invariant Generation Using an Interpolating Saturation Prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model checking duration calculus: a practical approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Duration Calculus: A Practical Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: The octagon abstract domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower bounds for resolution and cutting plane proofs and monotone computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Solving for Interpolation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3818127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction – CADE-20 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation in Local Theory Extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation in local theory extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real addition and the polynomial hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction – CADE-20 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JSC.2010.06.005 / rank
 
Normal rank

Latest revision as of 22:02, 9 December 2024

scientific article
Language Label Description Also known as
English
Constraint solving for interpolation
scientific article

    Statements

    Constraint solving for interpolation (English)
    0 references
    10 November 2010
    0 references
    interpolation
    0 references
    constraint solving
    0 references
    hierarchical reasoning
    0 references
    program verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers