@inproceedings{DBLP:conf/tacas/SchreiberFFB26,
  author       = {Dominik Schreiber and
                  Mathias Fleury and
                  Katalin Fazekas and
                  Armin Biere},
  title        = {Real-time Proof Checking for Distributed Incremental {SAT} Solving},
  booktitle    = {{TACAS} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {16505},
  pages        = {333--352},
  publisher    = {Springer},
  year         = {2026}
}