Dualization in lattices given by implicational bases (Q5919405): Difference between revisions

@@ Property / cites work @@
+Dualization in lattices given by implicational bases
+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 @@
+Q3455594
@@ Property / cites work: Q3455594 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+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 @@
+Dualization in lattices given by ordered sets of irreducibles
+Normal rank
@@ Property / cites work @@
+Generating all maximal models of a Boolean expression
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+The joy of implications, aka pure Horn formulas: mainly a survey
+Normal rank
@@ Property / cites work @@
+Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
+Normal rank
@@ Property / cites work @@
+Algorithms for Dualization over Products of Partially Ordered Sets
+Normal rank
@@ Property / cites work @@
+A subclass of Horn CNFs optimally compressible in polynomial time
+Normal rank