Restart Strategies

By Jan-Hendrik Lorenz

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.

• Format: Paperback
• Language: English
• ISBN: 3754396579
• ISBN13: 9783754396575
• Release Date: October 2021
• Publisher: Books on Demand
• Length: 286 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.6" x 7.4" x 9.7"