On Interpolation in Decision Procedures (Q3010355): Difference between revisions

@@ Property / describes a project that uses @@
+FOCI
@@ Property / describes a project that uses: FOCI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Princess
@@ Property / describes a project that uses: Princess / 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.1007/978-3-642-22119-4_1
+Normal rank
@@ Property / OpenAlex ID @@
+W78903979
@@ Property / OpenAlex ID: W78903979 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract canonical inference
@@ Property / cites work: Abstract canonical inference / rank @@
+Normal rank
@@ Property / cites work @@
+On deciding satisfiability by theorem proving with speculative inferences
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.
+Normal rank
@@ Property / cites work @@
+On the mechanical derivation of loop invariants
@@ Property / cites work: On the mechanical derivation of loop invariants / 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 @@
+Model-based Theory Combination
@@ Property / cites work: Model-based Theory Combination / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Interpolation and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Interpolant Strength
@@ Property / cites work: Interpolant Strength / 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 @@
+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 @@
+Interpolation and Symbol Elimination in Vampire
@@ Property / cites work: Interpolation and Symbol Elimination in Vampire / rank @@
+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 @@
+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 @@
+Quantified Invariant Generation Using an Interpolating Saturation Prover
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3010355