IPASIR-UP: User Propagators for CDCL

Fazekas, Katalin; Niemetz, Aina; Preiner, Mathias; Kirchweger, Markus; Szeider, Stefan; Biere, Armin

doi:10.4230/LIPIcs.SAT.2023.8

by Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Reference:

IPASIR-UP: User Propagators for CDCLKatalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin BiereThe 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan, Friedrich Slivovsky, eds.), volume 271 of LIPIcs, pages 8:1–8:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

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