@inproceedings{FazekasNPKSB23,
 author = {Katalin Fazekas and Aina Niemetz and Mathias Preiner
and Markus Kirchweger and Stefan Szeider and Armin
Biere},
 booktitle = {The 26th International Conference on Theory and
Applications of Satisfiability Testing (SAT 2023),
July 04-08, 2023, Alghero, Italy},
 doi = {10.4230/LIPIcs.SAT.2023.8},
 editor = {Meena Mahajan and Friedrich Slivovsky},
 keywords = {reveal, slim},
 pages = {8:1--8:13},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {{IPASIR-UP}: User Propagators for {CDCL}},
 volume = {271},
 year = {2023}
}