@inproceedings{SchreiberFleuryFazekasBiere-TACAS26,
  author       = {Dominik Schreiber and
                  Mathias Fleury and
                  Katalin Fazekas and
                  Armin Biere},
  editor       = {Sebastian Junges and
                  Guy Katz},
  title        = {Real-time Proof Checking for Distributed Incremental {SAT} Solving},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 32nd International Conference, {TACAS} 2026, Held as Part of the
                  International Joint Conferences on Theory and Practice of Software,
                  {ETAPS} 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  pages        = {333--352},
  publisher    = {Springer},
  year         = {2026},
  doi          = {10.1007/978-3-032-22752-2\_18},
}