Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332): Difference between revisions

@@ Property / describes a project that uses @@
+SAFARI
@@ Property / describes a project that uses: SAFARI / 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.1145/2490253
@@ Property / full work available at URL: https://doi.org/10.1145/2490253 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2026276439
@@ Property / OpenAlex ID: W2026276439 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants for Arrays
@@ Property / cites work: Lazy Abstraction with Interpolants for Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation properties and interpolation theorems for equational theories
+Normal rank
@@ Property / cites work @@
+On Interpolation in Decision Procedures
@@ Property / cites work: On Interpolation in Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints
+Normal rank
@@ Property / cites work @@
+Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.
+Normal rank
@@ Property / cites work @@
+Quantifier-Free Interpolation of a Theory of Arrays
+Normal rank
@@ Property / cites work @@
+Efficient Interpolant Generation in Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination and its dual
@@ Property / cites work: Fourier-Motzkin elimination and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Ground Interpolation for the Theory of Equality
@@ Property / cites work: Ground Interpolation for the Theory of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Universal relational systems
@@ Property / cites work: Universal relational systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342632
@@ Property / cites work: Q3342632 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Symbol Elimination
@@ Property / cites work: Interpolation and Symbol Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+An interpolating theorem prover
@@ Property / cites work: An interpolating theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Recursively Defined Data Structures
+Normal rank
@@ Property / cites work @@
+The intersection property of amalgamations
@@ Property / cites work: The intersection property of amalgamations / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint solving for interpolation
@@ Property / cites work: Constraint solving for interpolation / 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 @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank