@inproceedings{PollittFleuryBiere-MBMV23,
  author       = {Florian Pollitt and Mathias Fleury and Armin Biere},
  title	       = {Efficient Proof Checking with LRAT in CaDiCaL (work
                  in progress)},
  editor       = {Armin Biere and Daniel Gro{\ss}e},
  booktitle    = {Proceedings 26th {GMM/ITG/GI} Workshop on Methods and
                  Description Languages for Modelling and Verification
                  of Circuits and Systems, {MBMV} 2023, Freiburg,
                  Germany, March 23-24, 2023},
  series       = {ITG Fachberichte},
  publisher    = {{VDE Verlag}},
  pages	       = {64--67},
  volume       = {309},
  year	       = 2023,
}