Prominent classes of the most general subsumptive solutions of Boolean equations (Q507645): Difference between revisions

@@ Property / cites work @@
+Consensus algorithms for the generation of all maximal bicliques
+Normal rank
@@ Property / cites work @@
+A Recursive Paradigm to Solve Boolean Relations
@@ Property / cites work: A Recursive Paradigm to Solve Boolean Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3470465
@@ Property / cites work: Q3470465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022776
@@ Property / cites work: Q4022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5769706
@@ Property / cites work: Q5769706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997889
@@ Property / cites work: Q3997889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4419472
@@ Property / cites work: Q4419472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4724674
@@ Property / cites work: Q4724674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3825122
@@ Property / cites work: Q3825122 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of Boolean equations
@@ Property / cites work: Solution of Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077976
@@ Property / cites work: Q3077976 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric solutions of Boolean equations
@@ Property / cites work: Parametric solutions of Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398857
@@ Property / cites work: Q4398857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for Generating Prime Implicants of a Boolean Expression
+Normal rank
@@ Property / cites work @@
+On systems of Boolean equations
@@ Property / cites work: On systems of Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean equations with many unknowns
@@ Property / cites work: Boolean equations with many unknowns / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of equations in Boolean algebra
@@ Property / cites work: Solution of equations in Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Subsumptive general solutions and parametric general solutions of Post equations
+Normal rank
@@ Property / cites work @@
+Q3929672
@@ Property / cites work: Q3929672 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets and Boolean reasoning
@@ Property / cites work: Rough sets and Boolean reasoning / 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 @@
+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 @@
+A characterization of Boolean collections of set-valued functions
+Normal rank
@@ Property / cites work @@
+Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering Problem
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090324
@@ Property / cites work: Q4090324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156770
@@ Property / cites work: Q4156770 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3903047
@@ Property / cites work: Q3903047 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique solutions of Boolean ring equations
@@ Property / cites work: Unique solutions of Boolean ring equations / rank @@
+Normal rank
@@ Property / cites work @@
+On quadratic Boolean equations
@@ Property / cites work: On quadratic Boolean equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734536
@@ Property / cites work: Q2734536 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methods Versus Map Methods Of Solving Boolean Equations
+Normal rank
@@ Property / cites work @@
+Boolean transformations with unique fixed points
@@ Property / cites work: Boolean transformations with unique fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean sets and most general solutions of Boolean equations
+Normal rank
@@ Property / cites work @@
+Improved variable-entered Karnaugh map procedures
@@ Property / cites work: Improved variable-entered Karnaugh map procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Using variable-entered karnaugh maps to solve boolean equations
+Normal rank
@@ Property / cites work @@
+Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
+Normal rank
@@ Property / cites work @@
+Boolean differential equations
@@ Property / cites work: Boolean differential equations / 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 @@
+Association Reducts: Boolean Representation
@@ Property / cites work: Association Reducts: Boolean Representation / rank @@
+Normal rank
@@ Property / cites work @@
+Meet and Join Derivatives and Their Use in Switching Theory
+Normal rank
@@ Property / cites work @@
+RST Flip-Flop Input Equations
@@ Property / cites work: RST Flip-Flop Input Equations / rank @@
+Normal rank