@inprocessing{FazekasPollittFleuryBiere-LPAR24,
  author       = {Katalin Fazekas and
                  Florian Pollitt and
                  Mathias Fleury and
                  Armin Biere},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Marijn Heule and
                  Andrei Voronkov},
  title        = {Certifying Incremental {SAT} Solving},
  booktitle    = {{LPAR} 2024: Proceedings of 25th Conference on Logic for Programming,
                  Artificial Intelligence and Reasoning, Port Louis, Mauritius, May
                  26-31, 2024},
  series       = {EPiC Series in Computing},
  volume       = {100},
  pages        = {321--340},
  publisher    = {EasyChair},
  year         = {2024},
  url          = {https://doi.org/10.29007/pdcc},
  doi          = {10.29007/PDCC},
}