Directed hypergraphs and Horn minimization (Q2404615): Difference between revisions

@@ Property / cites work @@
+On implicational bases of closure systems with unique critical sets.
+Normal rank
@@ Property / cites work @@
+Query Learning and Certificates in Lattices
@@ Property / cites work: Query Learning and Certificates in Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Horn Representations and Query Learning
@@ Property / cites work: Canonical Horn Representations and Query Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial certificates for propositional classes
@@ Property / cites work: Polynomial certificates for propositional classes / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+On Approximate Horn Formula Minimization
@@ Property / cites work: On Approximate Horn Formula Minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Bidual Horn functions and extensions
@@ Property / cites work: Bidual Horn functions and extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+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 @@
+Linear connectivity problems in directed hypergraphs
+Normal rank