The Minimal Hitting Set Generation Problem: Algorithms and Computation (Q2953406): Difference between revisions

@@ Property / Wikidata QID @@
+Q61714551
@@ Property / Wikidata QID: Q61714551 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Macaulay2
@@ Property / describes a project that uses: Macaulay2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Docker
@@ Property / describes a project that uses: Docker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AlgoRun
@@ Property / describes a project that uses: AlgoRun / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metatool
@@ Property / describes a project that uses: Metatool / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02939
@@ Property / arXiv ID: 1601.02939 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Desirability of Acyclic Database Schemes
@@ Property / cites work: On the Desirability of Acyclic Database Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+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 @@
+Sufficient conditions for the existence of Nash equilibria in bimatrix games in terms of forbidden \(2 \times 2\) subgames
+Normal rank
@@ Property / cites work @@
+Left-to-Right Multiplication for Monotone Boolean Dualization
+Normal rank
@@ Property / cites work @@
+Q4736834
@@ Property / cites work: Q4736834 / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal frequent and minimal infrequent sets in binary matrices
+Normal rank
@@ Property / cites work @@
+A Fast and Simple Parallel Algorithm for the Monotone Duality Problem
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+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 @@
+New Results on Monotone Dualization and Generating Hypergraph Transversals
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+Normal rank
@@ Property / cites work @@
+Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Multiplication Method for Monotone CNF/DNF Dualization
+Normal rank
@@ Property / cites work @@
+On the complexity of monotone dualization and generating minimal hypergraph transversals
+Normal rank
@@ Property / cites work @@
+A Lower Bound for the HBC Transversal Hypergraph Generation
+Normal rank
@@ Property / cites work @@
+Degrees of acyclicity for hypergraphs and relational database schemes
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+A correction to the algorithm in Reiter's theory of diagnosis
+Normal rank
@@ Property / cites work @@
+Lower bounds for three algorithms for transversal hypergraph generation
+Normal rank
@@ Property / cites work @@
+Experimental comparison of the two Fredman-Khachiyan-algorithms
+Normal rank
@@ Property / cites work @@
+Q5431930
@@ Property / cites work: Q5431930 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse-engineering of polynomial dynamical systems
+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 @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+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 @@
+Computing and Combinatorics
@@ Property / cites work: Computing and Combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation
+Normal rank
@@ Property / cites work @@
+A global parallel algorithm for the hypergraph transversal problem
+Normal rank
@@ Property / cites work @@
+Q2957449
@@ Property / cites work: Q2957449 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone Boolean functions
@@ Property / cites work: Monotone Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+The computation of hitting sets: Review and new algorithms
+Normal rank
@@ Property / cites work @@
+There Is No 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem via Hitting Set Enumeration
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for dualizing large-scale hypergraphs
+Normal rank
@@ Property / cites work @@
+Q3455597
@@ Property / cites work: Q3455597 / rank @@
+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 Worst-Case Analysis of the Sequential Method to List the Minimal Hitting Sets of a Hypergraph
+Normal rank
@@ Property / cites work @@
+Minimal approximate hitting sets and rule templates
+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
@@ Property / OpenAlex ID @@
+W2964055388
@@ Property / OpenAlex ID: W2964055388 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2953406