Exact transversal hypergraphs and application to Boolean \(\mu\)-functions

DOI10.1006/jsco.1994.1013zbMath0809.94032OpenAlexW2058509996MaRDI QIDQ1333159

Thomas Eiter

Publication date: 13 September 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6eb048607be5b7ad96a51fd604790b6b4decd3c1

zbMATH Keywords

recognizabilityBoolean \(\mu\)-functionsexact transversal hypergraph

Mathematics Subject Classification ID

Related Items (16)

A global parallel algorithm for the hypergraph transversal problem ⋮ On the fixed-parameter tractability of the equivalence test of monotone normal forms ⋮ Compression with wildcards: all exact or all minimal hitting sets ⋮ Enumerating minimal dominating sets in chordal bipartite graphs ⋮ A global parallel algorithm for enumerating minimal transversals of geometric hypergraphs ⋮ An incremental polynomial time algorithm to enumerate all minimal edge dominating sets ⋮ Computational aspects of monotone dualization: a brief survey ⋮ On the complexity of monotone dualization and generating minimal hypergraph transversals ⋮ Decomposing complete edge-chromatic graphs and hypergraphs. Revisited ⋮ A combinatorial approach to nonlocality and contextuality ⋮ Polynomial-time dualization of \(r\)-exact hypergraphs with applications in geometry ⋮ Decision lists and related Boolean functions ⋮ Sandwich problem for \(\varPi\)- and \(\varDelta\)-free multigraphs and its applications to positional games ⋮ Efficiently enumerating hitting sets of hypergraphs arising in data profiling ⋮ Enumerating Vertices of Covering Polyhedra with Totally Unimodular Constraint Matrices ⋮ Resolution based algorithms for the transversal hypergraph generation problem

This page was built for publication: Exact transversal hypergraphs and application to Boolean \(\mu\)-functions