Pages that link to "Item:Q860396"
From MaRDI portal
The following pages link to An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation (Q860396):
Displayed 21 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Discovery of the \(D\)-basis in binary tables based on hypergraph dualization (Q507518) (← links)
- Set covering-based surrogate approach for solving sup-\({\mathcal{T}}\) equation constrained optimization problems (Q540668) (← links)
- Tropical polar cones, hypergraph transversals, and mean payoff games (Q550656) (← links)
- Masking patterns in sequences: A new class of motif discovery with don't cares (Q732023) (← links)
- A note on systems with max-min and max-product constraints (Q835215) (← links)
- Scientific contributions of Leo Khachiyan (a short overview) (Q944704) (← links)
- Combinatorial optimization in system configuration design (Q1027725) (← links)
- Resolution based algorithms for the transversal hypergraph generation problem (Q2310740) (← links)
- Asymptotically optimal dualization algorithms (Q2354515) (← links)
- Efficient algorithms for dualizing large-scale hypergraphs (Q2449091) (← links)
- On the complexity of the dualization problem (Q2838941) (← links)
- The Minimal Hitting Set Generation Problem: Algorithms and Computation (Q2953406) (← links)
- How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (Q3007677) (← links)
- Enumeration of Minimal Dominating Sets and Variants (Q3088292) (← links)
- Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints (Q3638226) (← links)
- Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (Q4637759) (← links)
- Enumerating Minimal Transversals of Hypergraphs without Small Holes (Q5005157) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- (Q5150622) (← links)