Restart Strategies
Author | : Jan-Hendrik Lorenz |
Publisher | : BoD – Books on Demand |
Total Pages | : 287 |
Release | : 2021-10-12 |
ISBN-10 | : 9783754396575 |
ISBN-13 | : 3754396579 |
Rating | : 4/5 (579 Downloads) |
Download or read book Restart Strategies written by Jan-Hendrik Lorenz and published by BoD – Books on Demand. This book was released on 2021-10-12 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.