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) |
Book Synopsis Restart Strategies by : Jan-Hendrik Lorenz
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.
