Fast congruence closure and extensions (Q876046): Difference between revisions

@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / 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.ic.2006.08.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2138865396
@@ Property / OpenAlex ID: W2138865396 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809056
@@ Property / cites work: Q4809056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804899
@@ Property / cites work: Q4804899 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804887
@@ Property / cites work: Q4804887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+Shostak's congruence closure as completion
@@ Property / cites work: Shostak's congruence closure as completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723409
@@ Property / cites work: Q2723409 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of a Good But Not Linear Set Union Algorithm
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2848058
@@ Property / cites work: Q2848058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848059
@@ Property / cites work: Q2848059 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank