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.
Seguir leyendoexpand_more
Título : Restart Strategies
EAN : 9783754377390
Editorial : Books on Demand
Fecha de publicación
: 25/10/21
Formato : PDF
Tamaño del archivo : 1.45 mb
Protección : Aucune
El libro electrónico Restart Strategies está en formato PDF
- check_circle
Este eBook es compatible para su lectura en la aplicación Vivlio de iOs y Android.
- check_circle
Este eBook es compatible para leer en My Vivlio.
- check_circle
Este eBook es compatible para su lectura en el lector Vivlio.
- check_circle
Este libro electrónico es más adecuado para pantallas grandes que para las pequeñas porque no permite ajustar el tamaño de la letra.
¿Quieres leer en un eReader de otra marca? Sigue
nuestra guía.
Conectarme
Mi cuenta![Casa del libro](/App/new/assets/images/logos/logo-casa-footer.svg)