Restart Strategies
| AUTHOR | Lorenz, Jan-Hendrik; Schning, Uwe; Frhwirth, Thom |
| PUBLISHER | Books on Demand (10/12/2021) |
| PRODUCT TYPE | Paperback (Paperback) |
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 Format
Product Details
ISBN-13:
9783754396575
ISBN-10:
3754396579
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
286
Carton Quantity:
14
Product Dimensions:
7.44 x 0.60 x 9.69 inches
Weight:
1.13 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Programming - General
Descriptions, Reviews, Etc.
publisher marketing
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
List Price $55.50
Your Price
$54.94