@article{NPKSB24,
 author = {Katalin Fazekas and
Aina Niemetz and
Mathias Preiner and
Markus Kirchweger and
Stefan Szeider and
Armin Biere},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jair/FazekasNPKSB24.bib},
 doi = {10.1613/JAIR.1.16163},
 journal = {Journal of Artificial Intelligence Research},
 pages = {989--1017},
 timestamp = {Sun, 05 Jan 2025 21:17:06 +0100},
 title = {Satisfiability Modulo User Propagators},
 url = {https://doi.org/10.1613/jair.1.16163},
 volume = {81},
 year = {2024}
}