Article: Conflict Resolving - A Maximum Independent Set Heuristics for Solving MaxSAT
Reisch, J.; Großmann, P.; Kliewer, N. – 2019
Titel
Article: Conflict Resolving - A Maximum Independent Set Heuristics for Solving MaxSAT
Verfasser
Reisch, J.; Großmann, P.; Kliewer, N.
Datum
2019
Erschienen in
Proceedings of the 22nd International Multiconference on Information Society, Volume 1, 67-71, 2019
Art
Text
