Satisfiability Modulo User Propagators

Abstract

Full Citation:

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere. Satisfiability Modulo User Propagators. Journal of Artificial Intelligence Research, volume 81, pages 989–1017, 2024.

Markus Kirchweger

Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.