Bücher online kaufen
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:
9783754396575
Veröffentl:
2021
Erscheinungsdatum:
12.10.2021
Seiten:
286
Autor:
Jan-Hendrik Lorenz
Gewicht:
503 g
Format:
220x170x20 mm
Sprache:
Englisch