Pages that link to "Item:Q1007596"
From MaRDI portal
The following pages link to The computation of hitting sets: Review and new algorithms (Q1007596):
Displaying 7 items.
- Bases and dimension of vector spaces over lattices (Q291226) (← links)
- Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
- A variant of Reiter's hitting-set algorithm (Q1603435) (← links)
- Memory-limited model-based diagnosis (Q2124447) (← 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)
- Hitting sets for multilinear read-once algebraic branching programs, in any order (Q5259623) (← links)