Polynomial-time algorithms for generation of prime implicants (Q1190532): Difference between revisions

@@ Property / describes a project that uses @@
+ESPRESSO
@@ Property / describes a project that uses: ESPRESSO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On simplifying truth-functional formulas
@@ Property / cites work: On simplifying truth-functional formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / rank @@
+Normal rank
@@ Property / cites work @@
+Generation of Prime Implicants by Direct Multiplication
+Normal rank
@@ Property / cites work @@
+Weighting Method for the Determination of the Irredundant Set of Prime Implicants
+Normal rank
@@ Property / cites work @@
+A Local Selection Algorithm for Switching Function Minimization
+Normal rank
@@ Property / cites work @@
+On the number of prime implicants
@@ Property / cites work: On the number of prime implicants / rank @@
+Normal rank
@@ Property / cites work @@
+Maxterm Type Expressions of Switching Functions and Their Prime Implicants
+Normal rank
@@ Property / cites work @@
+Minimizability of random Boolean functions
@@ Property / cites work: Minimizability of random Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164776
@@ Property / cites work: Q4164776 / rank @@
+Normal rank
@@ Property / cites work @@
+MINI: A Heuristic Approach for Logic Minimization
@@ Property / cites work: MINI: A Heuristic Approach for Logic Minimization / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Q5824871
@@ Property / cites work: Q5824871 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs
+Normal rank
@@ Property / cites work @@
+Q5732949
@@ Property / cites work: Q5732949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586372
@@ Property / cites work: Q5586372 / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Partitioned List Algorithms
+Normal rank
@@ Property / cites work @@
+Recursive Operators for Prime Implicant and Irredundant Normal Form Determination
+Normal rank
@@ Property / cites work @@
+A Numerical Procedure for Determination of the Prime Implicants of a Boolean Function
+Normal rank
@@ Property / cites work @@
+An Algorithm for the Automatic Approximate Minimization of Boolean Functions
+Normal rank
@@ Property / cites work @@
+Simplest normal truth functions
@@ Property / cites work: Simplest normal truth functions / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Test Examples for Heuristic Boolean Minimization
+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 @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify 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 @@
+Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering Problem
+Normal rank
@@ Property / cites work @@
+Algebraic Topological Methods for the Synthesis of Switching Systems. I
+Normal rank
@@ Property / cites work @@
+Q4766895
@@ Property / cites work: Q4766895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187210
@@ Property / cites work: Q5187210 / 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 @@
+Minimization of Switching Functions—A Fast Technique
+Normal rank
@@ Property / cites work @@
+Fault Detection in Redundant Circuits
@@ Property / cites work: Fault Detection in Redundant Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+RST Flip-Flop Input Equations
@@ Property / cites work: RST Flip-Flop Input Equations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1190532