Computational aspects of monotone dualization: a brief survey (Q943839): Difference between revisions

@@ Property / cites work @@
+Queries and concept learning
@@ Property / cites work: Queries and concept learning / rank @@
+Normal rank
@@ Property / cites work @@
+Learning conjunctions of Horn clauses
@@ Property / cites work: Learning conjunctions of Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551138
@@ Property / cites work: Q5551138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993087
@@ Property / cites work: Q3993087 / rank @@
+Normal rank
@@ Property / cites work @@
+An O(m n) algorithm for regular set-covering problems
+Normal rank
@@ Property / cites work @@
+Dualization, decision lists and identification of monotone discrete functions
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Generating dual-bounded hypergraphs
@@ Property / cites work: Generating dual-bounded hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms - ESA 2003
@@ Property / cites work: Algorithms - ESA 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+An inequality for polymatroid functions and its applications.
+Normal rank
@@ Property / cites work @@
+LATIN 2004: Theoretical Informatics
@@ Property / cites work: LATIN 2004: Theoretical Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Bounded Generating Problems: All Minimal Integer Solutions for a Monotone System of Linear Inequalities
+Normal rank
@@ Property / cites work @@
+Q4449202
@@ Property / cites work: Q4449202 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph
+Normal rank
@@ Property / cites work @@
+On maximal frequent and minimal infrequent sets in binary matrices
+Normal rank
@@ Property / cites work @@
+Dual-bounded generating problems: Weighted 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 @@
+Parameterized and Exact Computation
@@ Property / cites work: Parameterized and Exact Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized enumeration, transversals, and imperfect phylogeny reconstruction
+Normal rank
@@ Property / cites work @@
+Q3805968
@@ Property / cites work: Q3805968 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact transversal hypergraphs and application to Boolean \(\mu\)-functions
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+Q4708957
@@ Property / cites work: Q4708957 / rank @@
+Normal rank
@@ Property / cites work @@
+New results on monotone dualization and generating hypergraph transversals
+Normal rank
@@ Property / cites work @@
+New Results on Monotone Dualization and Generating Hypergraph Transversals
+Normal rank
@@ Property / cites work @@
+Double Horn functions
@@ Property / cites work: Double Horn functions / rank @@
+Normal rank
@@ Property / cites work @@
+Bidual Horn functions and extensions
@@ Property / cites work: Bidual Horn functions and extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411378
@@ Property / cites work: Q4411378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736835
@@ Property / cites work: Q4736835 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+On one criterion of the optihality of an algorithm for evaluating monotonic boolean functions
+Normal rank
@@ Property / cites work @@
+Q4473243
@@ Property / cites work: Q4473243 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Artificial Intelligence
@@ Property / cites work: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A correction to the algorithm in Reiter's theory of diagnosis
+Normal rank
@@ Property / cites work @@
+Q4047401
@@ Property / cites work: Q4047401 / rank @@
+Normal rank
@@ Property / cites work @@
+On the frequency of the most frequently occurring variable in dual monotone DNFs
+Normal rank
@@ Property / cites work @@
+On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Three Algorithms for the Transversal Hypergraph Generation
+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 @@
+A fast parallel algorithm for the maximal independent set problem
+Normal rank
@@ Property / cites work @@
+Monotone Boolean dualization is in co-NP\([\log^{2}n]\).
+Normal rank
@@ Property / cites work @@
+An Efficient Algorithm for the Transversal Hypergraph Generation
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Computing and Combinatorics
@@ Property / cites work: Computing and Combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / rank @@
+Normal rank
@@ Property / cites work @@
+Covering Problems: Duality Relations and a New Method of Solution
+Normal rank
@@ Property / cites work @@
+Generating All Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms
+Normal rank
@@ Property / cites work @@
+The computation of hitting sets: Review and new algorithms
+Normal rank
@@ Property / cites work @@
+Q4083461
@@ Property / cites work: Q4083461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3261003
@@ Property / cites work: Q3261003 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms
+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 @@
+Algorithm Theory - SWAT 2004
@@ Property / cites work: Algorithm Theory - SWAT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for inferring functional dependencies from relations
+Normal rank
@@ Property / cites work @@
+NP-completeness: A retrospective
@@ Property / cites work: NP-completeness: A retrospective / rank @@
+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 @@
+Q5650538
@@ Property / cites work: Q5650538 / rank @@
+Normal rank
@@ Property / cites work @@
+An SE-tree-based prime implicant generation algorithm
+Normal rank
@@ Property / cites work @@
+ON THE TWO-COLOURING OF HYPERGRAPHS
@@ Property / cites work: ON THE TWO-COLOURING OF HYPERGRAPHS / rank @@
+Normal rank
@@ Property / cites work @@
+Almost all monotone Boolean functions are polynomially learnable using membership queries
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating Prime Implicants
@@ Property / cites work: A New Algorithm for Generating Prime Implicants / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal evaluation of monotonic Boolean functions
+Normal rank
@@ Property / cites work @@
+Minimizing the Average Query Complexity of Learning Monotone Boolean Functions
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating All the Maximal Independent Sets
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of Reiter's hitting-set algorithm
@@ Property / cites work: A variant of Reiter's hitting-set algorithm / rank @@
+Normal rank