We study the problem of bounding from above and below a given set of bit vectors by the set of satisfying truth assignments of a Horn formula. We point out a rather unexpected connection between the upper bounding problem and the problem of generating all transversals of a hypergraph, and settle several related complexity questions.
CITATION STYLE
Kavvadias, D., Papadimitriou, C. H., & Sideri, M. (1993). On Horn envelopes and hypergraph transversals (pp. 399–405). https://doi.org/10.1007/3-540-57568-5_271
Mendeley helps you to discover research relevant for your work.