External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Stable Resolving - A Randomized Local Search Heuristic for MaxSAT

Julian Reisch, Peter Großmann, Natalia Kliewer. Stable Resolving - A Randomized Local Search Heuristic for MaxSAT. In Ute Schmid, Franziska Klügl, Diedrich Wolter, editors, KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings. Volume 12325 of Lecture Notes in Computer Science, pages 163-175, Springer, 2020. [doi]

Authors

Julian Reisch

This author has not been identified. Look up 'Julian Reisch' in Google

Peter Großmann

This author has not been identified. Look up 'Peter Großmann' in Google

Natalia Kliewer

This author has not been identified. Look up 'Natalia Kliewer' in Google
runs on