Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms (Q1861581): Difference between revisions

@@ Property / cites work @@
+An O(m n) algorithm for regular set-covering problems
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Fast learning of \(k\)-term DNF formulas with queries.
+Normal rank
@@ Property / cites work @@
+Dual subimplicants of positive Boolean functions
@@ Property / cites work: Dual subimplicants of positive Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Recognition of 2-Monotonic Positive Boolean Functions Given by an Oracle
+Normal rank
@@ Property / cites work @@
+Dualization of regular Boolean functions
@@ Property / cites work: Dualization of regular Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Structure identification in relational data
@@ Property / cites work: Structure identification in relational data / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+How to assign votes in a distributed system
@@ Property / cites work: How to assign votes in a distributed system / rank @@
+Normal rank
@@ Property / cites work @@
+On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions
+Normal rank
@@ Property / cites work @@
+Inferring minimal functional dependencies in Horn and q-Horn theories
+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 @@
+Q4268444
@@ Property / cites work: Q4268444 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating All Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms
+Normal rank
@@ Property / cites work @@
+The Maximum Latency and Identification of Positive Boolean Functions
+Normal rank
@@ Property / cites work @@
+A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions
+Normal rank
@@ Property / cites work @@
+Design by example: An application of Armstrong relations
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithms for regular set-covering and threshold synthesis
+Normal rank
@@ Property / cites work @@
+An \(O(nm)\)-time algorithm for computing the dual of a regular Boolean function
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating All the Maximal Independent Sets
+Normal rank
@@ Property / cites work @@
+Q4535012
@@ Property / cites work: Q4535012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473243
@@ Property / cites work: Q4473243 / rank @@
+Normal rank