Optimizing the clausal normal form transformation (Q809622): Difference between revisions

@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954845
@@ Property / cites work: Q3954845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326883
@@ Property / cites work: Q3326883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915990
@@ Property / cites work: Q3915990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880324
@@ Property / cites work: Q3880324 / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating Prime Implicants
@@ Property / cites work: A New Algorithm for Generating Prime Implicants / rank @@
+Normal rank
@@ Property / cites work @@
+RST Flip-Flop Input Equations
@@ Property / cites work: RST Flip-Flop Input Equations / rank @@
+Normal rank