An Efficient Branch-and-Bound Solver for Hitting Set
Bläsius, Thomas
; Friedrich, Tobias; Stangl, David; Weyand, Christopher
; Friedrich, Tobias; Stangl, David; Weyand, Christopher
| Zugehörige Institution(en) am KIT | Karlsruher Institut für Technologie (KIT) |
| Publikationstyp | Buchaufsatz |
| Publikationsmonat/-jahr | 01.2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-61197-704-2 KITopen-ID: 1000170536 |
| HGF-Programm | 46.21.02 (POF IV, LK 01) Cross-Domain ATMLs and Research Groups |
| Erschienen in | 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Ed.: C. Phillips |
| Verlag | Society for Industrial and Applied Mathematics (SIAM) |
| Seiten | 209–220 |
| Serie | Proceedings ; PRAL22 |
| Vorab online veröffentlicht am | 05.01.2022 |