Talk: Conflict Resolving - A Maximum Independent Set Heuristics for Solving MaxSAT
Reisch, J.; Großmann, P.; Kliewer, N. – 2019
Titel
Talk: Conflict Resolving - A Maximum Independent Set Heuristics for Solving MaxSAT
Verfasser
Reisch, J.; Großmann, P.; Kliewer, N.
Datum
2019
Erschienen in
Middle-European Conference on Applied Theoretical Computer Science - MATCOS 2019, Koper, Slovenia, October 2019
Art
Ereignis
