Model Evolution with Equality Modulo Built-in Theories (Q5200017): Difference between revisions

@@ 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-22438-6_9
+Normal rank
@@ Property / OpenAlex ID @@
+W29327042
@@ Property / OpenAlex ID: W29327042 / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition Modulo Linear Arithmetic SUP(LA)
@@ Property / cites work: Superposition Modulo Linear Arithmetic SUP(LA) / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition and Model Evolution Combined
@@ Property / cites work: Superposition and Model Evolution Combined / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Instantiation
@@ Property / cites work: Theory Instantiation / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Integrating Linear Arithmetic into Superposition Calculus
+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 @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+Normal rank