Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Restart Strategies
Langbeschreibung
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.
Jan-Hendrik Lorenz completed his Bachelor's and Master's studies at Ulm University. He conducted his doctoral studies at the Institute for Theoretical Computer Science at Ulm University. Of his published works, a total of three were awarded the Best Student Paper Award.
ISBN-13:
9783754377390
Veröffentl:
2021
Seiten:
286
Autor:
Jan-Hendrik Lorenz
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
0 - No protection
Sprache:
Englisch
31,99 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.