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 is a Project Assistant at the Algorithms and Complexity Group.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.