TY  - RPRT
TI  - An Efficient Branch-and-Bound Solver for Hitting Set
AU  - Thomas Bläsius
AU  - Tobias Friedrich
AU  - David Stangl
AU  - Christopher Weyand
PY  - 2023
UR  - https://arxiv.org/abs/2110.11697
ID  - 2110.11697
ER  -