Local search with a SAT oracle for combinatorial optimization

DOI10.1007/978-3-030-72013-1_5zbMath1474.68325MaRDI QIDQ2233496

Alexander Nadel, Vadim Ryvchin, Aviad Cohen

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72013-1_5

Mathematics Subject Classification ID

90C59: Approximation methods and heuristics in mathematical programming

90C27: Combinatorial optimization

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)