Transforming equality logic to propositional logic (Q4916229): Difference between revisions

@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
+Normal rank
@@ Property / cites work @@
+Q2754075
@@ Property / cites work: Q2754075 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean satisfiability with transitivity constraints
+Normal rank
@@ Property / cites work @@
+BDD based procedures for a theory of equality with uninterpreted functions
+Normal rank
@@ Property / cites work @@
+Q2767014
@@ Property / cites work: Q2767014 / rank @@
+Normal rank
@@ Property / cites work @@
+The propositional formula checker HeerHugo
@@ Property / cites work: The propositional formula checker HeerHugo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818813
@@ Property / cites work: Q4818813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551144
@@ Property / cites work: Q4551144 / rank @@
+Normal rank
@@ Property / cites work @@
+LATIN 2004: Theoretical Informatics
@@ Property / cites work: LATIN 2004: Theoretical Informatics / rank @@
+Normal rank