Jan-Hendrik Lorenz: Restart Strategies
Restart Strategies
Buch
- Herausgeber: Thom Frühwirth, Uwe Schöning
- BoD - Books on Demand, 10/2021
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783754396575
- Bestellnummer: 10744127
- Umfang: 286 Seiten
- Gewicht: 503 g
- Maße: 220 x 170 mm
- Stärke: 19 mm
- Erscheinungstermin: 12.10.2021
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
Restarting is a technique employed by many algorithms. For some problems, restarts improve the runtimes by orders of magnitude. This thesis considers several aspects of restarts. In addition to complexity-theoretical properties, we also study methods for constructing optimal restart strategies. On the practical side, we apply restarts to significantly improve the performance of a SAT solver.Biografie (Uwe Schöning)
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.Anmerkungen:
Bitte beachten Sie, dass auch wir der Preisbindung unterliegen und kurzfristige Preiserhöhungen oder -senkungen an Sie weitergeben müssen.