Computing prime implicants via transversal clauses (Q4243266): Difference between revisions

@@ Property / cites work @@
+On the number of prime implicants
@@ Property / cites work: On the number of prime implicants / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+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 @@
+Optimizing the clausal normal form transformation
@@ Property / cites work: Optimizing the clausal normal form transformation / rank @@
+Normal rank