A graph theoretic approach to switching function minimization (Q1168952): Difference between revisions

@@ Property / cites work @@
+Useless prime implicants of incompletely specified multiple-output switching functions
+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 @@
+Minimization of Switching Functions—A Fast Technique
+Normal rank
@@ Property / cites work @@
+A New Technique for the Fast Minimization of Switching Functions
+Normal rank
@@ Property / cites work @@
+Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function
+Normal rank
@@ Property / cites work @@
+A Prime Implicant Algorithm with Factoring
@@ Property / cites work: A Prime Implicant Algorithm with Factoring / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of Boolean Functions
@@ Property / cites work: Minimization of Boolean Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Fault Detection in Redundant Circuits
@@ Property / cites work: Fault Detection in Redundant Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Heuristic Algorithm for Reducing Large Product-of-Sums Logical Expressions
+Normal rank
@@ Property / cites work @@
+RST Flip-Flop Input Equations
@@ Property / cites work: RST Flip-Flop Input Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Related Problems
@@ Property / cites work: Computationally Related Problems / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of a Class of Minimization Algorithms for Switching Functions
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel concepts in graph theory
@@ Property / cites work: Parallel concepts in graph theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of pushdown automata
@@ Property / cites work: On the computational power of pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Topological Methods for the Synthesis of Switching Systems. I
+Normal rank
@@ Property / cites work @@
+Q4770975
@@ Property / cites work: Q4770975 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of testing a graph for n-cube
@@ Property / cites work: On the complexity of testing a graph for n-cube / rank @@
+Normal rank
@@ Property / cites work @@
+Distance-preserving subgraphs of hypercubes
@@ Property / cites work: Distance-preserving subgraphs of hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of hypercubes
@@ Property / cites work: A characterization of hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+Irreducible Topological Components of an Arbitrary Boolean Truth Function and Generation of Their Minimal Coverings
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of disjunctive normal forms of fuzzy logic functions
+Normal rank