Succinctness and tractability of closure operator representations (Q507522): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.12.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2219393927
@@ Property / OpenAlex ID: W2219393927 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q54824445
@@ Property / Wikidata QID: Q54824445 / 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 @@
+A decomposition method for CNF minimality proofs
@@ Property / cites work: A decomposition method for CNF minimality proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of databases and closure operations
@@ Property / cites work: On the number of databases and closure operations / rank @@
+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 @@
+Counting of Moore Families for n=7
@@ Property / cites work: Counting of Moore Families for n=7 / rank @@
+Normal rank
@@ Property / cites work @@
+THE LATTICE THEORY OF FUNCTIONAL DEPENDENCIES AND NORMAL DECOMPOSITIONS
+Normal rank
@@ Property / cites work @@
+Hardness of Enumerating Pseudo-intents in the Lectic Order
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q3349969
@@ Property / cites work: Q3349969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / 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 @@
+Lattices of closure operators
@@ Property / cites work: Lattices of closure operators / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5429564
@@ Property / cites work: Q5429564 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Concept Analysis
@@ Property / cites work: Formal Concept Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision and counting problems of the Duquenne-Guigues basis of implications
+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 @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023862
@@ Property / cites work: Q4023862 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Some Notes on Pseudo-closed Sets
@@ Property / cites work: Some Notes on Pseudo-closed Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Some Notes on Managing Closure Operators
@@ Property / cites work: Some Notes on Managing Closure Operators / rank @@
+Normal rank
@@ Property / cites work @@
+On the Succinctness of Closure Operator Representations
+Normal rank
@@ Property / cites work @@
+Some Computational Problems Related to Pseudo-intents
+Normal rank