Translating between the representations of a ranked convex geometry (Q2032718): Difference between revisions

@@ Property / cites work @@
+Optimum basis of finite convex geometry
@@ Property / cites work: Optimum basis of finite convex geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Join-semidistributive lattices and convex geometries.
+Normal rank
@@ 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 @@
+Dualization in lattices given by ordered sets of irreducibles
+Normal rank
@@ Property / cites work @@
+Q5685119
@@ Property / cites work: Q5685119 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for \(k\)-meet-semidistributive lattices
+Normal rank
@@ Property / cites work @@
+Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
+Normal rank
@@ Property / cites work @@
+The multiple facets of the canonical direct unit implicational basis
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating Minimal Dominating Sets in Kt-free Graphs and Variants
+Normal rank
@@ Property / cites work @@
+A subclass of Horn CNFs optimally compressible in polynomial time
+Normal rank
@@ Property / cites work @@
+The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
+Normal rank
@@ Property / cites work @@
+Q3077976
@@ Property / cites work: Q3077976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Dualization in lattices given by implicational bases
+Normal rank
@@ Property / cites work @@
+A circuit set characterization of antimatroids
@@ Property / cites work: A circuit set characterization of antimatroids / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of convex geometries
@@ Property / cites work: The theory of convex geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+Normal rank
@@ Property / cites work @@
+Algorithms for Dualization over Products of Partially Ordered Sets
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Q4834373
@@ Property / cites work: Q4834373 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Special Topics and Applications
@@ Property / cites work: Lattice Theory: Special Topics and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of lattices via set-colored posets
@@ Property / cites work: Representation of lattices via set-colored posets / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Generating all maximal models of a Boolean expression
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023862
@@ Property / cites work: Q4023862 / rank @@
+Normal rank
@@ Property / cites work @@
+The Factorization and Representation of Lattices
@@ Property / cites work: The Factorization and Representation of Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The prime stems of rooted circuits of closure spaces and minimum implicational bases
+Normal rank
@@ Property / cites work @@
+Succinctness and tractability of closure operator representations
+Normal rank
@@ Property / cites work @@
+Lattices of regular closed subsets of closure spaces
+Normal rank
@@ Property / cites work @@
+Computing the minimum cover of functional dependencies
+Normal rank
@@ Property / cites work @@
+Q4256200
@@ Property / cites work: Q4256200 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating All the Maximal Independent Sets
+Normal rank
@@ Property / cites work @@
+A theory of finite closure spaces based on implications
+Normal rank
@@ Property / cites work @@
+Optimal implicational bases for finite modular lattices
+Normal rank
@@ Property / cites work @@
+The joy of implications, aka pure Horn formulas: mainly a survey
+Normal rank