Strategies for combining decision procedures (Q2368951): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC
@@ Property / describes a project that uses: CVC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zapato
@@ Property / describes a project that uses: Zapato / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ELAN
@@ Property / describes a project that uses: ELAN / 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.tcs.2005.11.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2069422398
@@ Property / OpenAlex ID: W2069422398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract congruence closure
@@ Property / cites work: Abstract congruence closure / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804899
@@ Property / cites work: Q4804899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737130
@@ Property / cites work: Q4737130 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223001
@@ Property / cites work: Q4223001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553256
@@ Property / cites work: Q4553256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428300
@@ Property / cites work: Q4428300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809070
@@ Property / cites work: Q4809070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737127
@@ Property / cites work: Q4737127 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / 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 @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Q4385440
@@ Property / cites work: Q4385440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808819
@@ Property / cites work: Q4808819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808733
@@ Property / cites work: Q4808733 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804919
@@ Property / cites work: Q4804919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708927
@@ Property / cites work: Q4708927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778890
@@ Property / cites work: Q2778890 / rank @@
+Normal rank