Springe direkt zu Inhalt

Talk: Stable Resolving - A Randomized MaxSAT Heuristic

Reisch, J.; Großmann, P.; Kliewer, N. – 2020

Titel
Talk: Stable Resolving - A Randomized MaxSAT Heuristic
Verfasser
Reisch, J.; Großmann, P.; Kliewer, N.
Datum
2020
Erschienen in
KI 2020, Bamberg
Art
Ereignis
icon3_department_wirtschaftsinformatik
Visit www.or2017.de ...