Disjoint essential sets of implicates of a CQ Horn function (Q766268): Difference between revisions

@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Horn minimization by iterative decomposition
@@ Property / cites work: Horn minimization by iterative decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Exclusive and essential sets of implicates of Boolean functions
+Normal rank
@@ Property / cites work @@
+A subclass of Horn CNFs optimally compressible in polynomial time
+Normal rank
@@ Property / cites work @@
+Boolean functions with a simple certificate for CNF complexity
+Normal rank
@@ Property / cites work @@
+Structure identification in relational data
@@ Property / cites work: Structure identification in relational data / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of a Data Base and the Theory of Boolean Switching Functions
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and their DNFs
@@ Property / cites work: Horn functions and their DNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+Normal rank
@@ Property / cites work @@
+Minimum Covers in Relational Database Model
@@ Property / cites work: Minimum Covers in Relational Database Model / 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 @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The minimum equivalent DNF problem and shortest implicants
+Normal rank