Restart Strategies

Restart Strategies

By (author)  , Edited by  , Edited by 
Free delivery worldwide Expected delivery to the United States in 15-18 business days.
Not ordering to the United States? Click here.
Not expected to be delivered to the United States by Christmas Not expected to be delivered to the United States by Christmas

Description

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.
show more

Product details

  • Paperback | 286 pages
  • 189 x 246 x 15mm | 513g
  • Spain
  • English
  • 3754396579
  • 9783754396575