Cargando…

Local Search with a SAT Oracle for Combinatorial Optimization

NP-hard combinatorial optimization problems are pivotal in science and business. There exists a variety of approaches for solving such problems, but for problems with complex constraints and objective functions, local search algorithms scale the best. Such algorithms usually assume that finding a no...

Descripción completa

Detalles Bibliográficos
Autores principales: Cohen, Aviad, Nadel, Alexander, Ryvchin, Vadim
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984562/
http://dx.doi.org/10.1007/978-3-030-72013-1_5