The minimal hitting set generation problem: algorithms and computation
Not on the map. Why?
Abstract (arXiv)
Finding inclusion-minimal "hitting sets" for a given collection of sets is a fundamental combinatorial problem with applications in domains as diverse as Boolean algebra, computational biology, and data mining. Much of the algorithmic literature focuses on the problem of *recognizing* the collection of minimal hitting sets; however, in many of the applications, it is more important to *generate* these hitting sets. We survey twenty algorithms from across a variety of domains, considering their history, classification, useful features, and computational performance on a variety of synthetic and real-world inputs. We also provide a suite of implementations of these algorithms with a ready-to-use, platform-agnostic interface based on Docker containers and the AlgoRun framework, so that interested computational scientists can easily perform similar tests with inputs from their own research areas on their own computers or through a convenient Web interface.
Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). First posted on arXiv 5 Jan 2016.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 2; 2023: 0; 2024: 1; 2025: 1; 2026: 1.
5 papers.
- 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networkscited by 42
- 2022How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithmscited by 3
- 2025Feature Relevancy, Necessity and Usefulness: Complexity and Algorithmscited by 1
- 2024The Sets of Powercited by 0
- 2026Towards Verified and Targeted Explanations through Formal Methodscited by 0
- 2026Towards Verified and Targeted Explanations through Formal Methods5 Apr 2026
- 2025Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms6 May 2025
- 2024The Sets of Power10 Oct 2024
- 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks25 Oct 2022
- 2022How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms26 Jul 2022