Stable Resolving - A Randomized Local Search Heuristic for MaxSAT

von Reisch, Julian
Veröffentlicht in KI (Veranstaltung : 43. : 2020 : Online) KI 2020: advances in artificial intelligence (2020)