Alta reperibilità
Restart Strategies
- Editore:
Books on Demand
- EAN:
9783754396575
- ISBN:
3754396579
- Pagine:
- 286
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Restart Strategies
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.
Disponibile in 6-7 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti