Schemata of SMT-Problems (Q3010358): Difference between revisions

@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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_5
+Normal rank
@@ Property / OpenAlex ID @@
+W64610251
@@ Property / OpenAlex ID: W64610251 / rank @@
+Normal rank
@@ Property / cites work @@
+A Schemata Calculus for Propositional Logic
@@ Property / cites work: A Schemata Calculus for Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Undecidability Results for Propositional Schemata
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Efficient E-Matching for SMT Solvers
@@ Property / cites work: Efficient E-Matching for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3010358