Article: Stable Resolving - A Randomized Local Search Heuristic for MaxSAT
Reisch, J.; Großmann, P.; Kliewer, N. – 2020
Titel
Article: Stable Resolving - A Randomized Local Search Heuristic for MaxSAT
Verfasser
Reisch, J.; Großmann, P.; Kliewer, N.
Datum
2020
Erschienen in
KI 2020: Advances in Artificial Intelligence, pp. 163-175, Springer International Publishing, 2020
Art
Text
