Satisfiability Modulo User Propagators

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

doi:10.1613/JAIR.1.16163

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

Reference:

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

Bibtex Entry:

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