Constraint solving for interpolation (Q604394): Difference between revisions

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