Algorithms for \(k\)-meet-semidistributive lattices (Q507534): Difference between revisions

@@ Property / cites work @@
+On implicational bases of closure systems with unique critical sets.
+Normal rank
@@ Property / cites work @@
+Discovery of the \(D\)-basis in binary tables based on hypergraph dualization
+Normal rank
@@ Property / cites work @@
+Ordered direct implicational basis of a finite closure system
+Normal rank
@@ Property / cites work @@
+Computing premises of a minimal cover of functional dependencies is intractable
+Normal rank
@@ Property / cites work @@
+Q5685119
@@ Property / cites work: Q5685119 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Armstrong Relations for Functional Dependencies
+Normal rank
@@ Property / cites work @@
+The multiple facets of the canonical direct unit implicational basis
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Doubling convex sets in lattices and a generalized semidistributivity condition
+Normal rank
@@ Property / cites work @@
+On the complexity of enumerating pseudo-intents
@@ Property / cites work: On the complexity of enumerating pseudo-intents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813089
@@ Property / cites work: Q3813089 / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+New Results on Monotone Dualization and Generating Hypergraph Transversals
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing semidistributivity
@@ Property / cites work: Generalizing semidistributivity / rank @@
+Normal rank
@@ Property / cites work @@
+The number of Moore families on \(n=6\)
@@ Property / cites work: The number of Moore families on \(n=6\) / rank @@
+Normal rank
@@ Property / cites work @@
+A simplicial elimination scheme for \(\wedge\)-semidistributive lattices and interval collapsing
+Normal rank
@@ Property / cites work @@
+Minimum implicational basis for \(\wedge\)-semidistributive lattices
+Normal rank
@@ Property / cites work @@
+Generating all maximal models of a Boolean expression
+Normal rank
@@ Property / cites work @@
+Design by example: An application of Armstrong relations
+Normal rank
@@ Property / cites work @@
+Q4055674
@@ Property / cites work: Q4055674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455594
@@ Property / cites work: Q3455594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997892
@@ Property / cites work: Q3997892 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast algorithms for implication bases and attribute exploration using proper premises
+Normal rank
@@ Property / cites work @@
+Computing the minimum cover of functional dependencies
+Normal rank
@@ Property / cites work @@
+The joy of implications, aka pure Horn formulas: mainly a survey
+Normal rank
@@ Property / cites work @@
+Optimal implicational bases for finite modular lattices
+Normal rank
@@ Property / cites work @@
+Subdirect decomposition of concept lattices
@@ Property / cites work: Subdirect decomposition of concept lattices / rank @@
+Normal rank