An Efficient Branch-and-Bound Solver for Hitting Set.

Thomas Blsius, Tobias Friedrich, David Stangl, Christopher Weyand

Browse the full ALENEX paper archive.