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

@@ Property / author @@
-Hans Zantema
@@ Property / author: Hans Zantema / rank @@
-Normal rank
@@ Property / author @@
+Hans Zantema
@@ Property / author: Hans Zantema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HeerHugo
@@ Property / describes a project that uses: HeerHugo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80661-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2002015997
@@ Property / OpenAlex ID: W2002015997 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4916229