Boolesche Minimalpolynome und Überdeckungsprobleme (Q1224047): Difference between revisions

@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+A Learning Network Using Adaptive Threshold Elements
+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 @@
+Algebraic Topological Methods for the Synthesis of Switching Systems. I
+Normal rank