@InProceedings{PollittFleuryBiere-SAT2023,
  author =	{Pollitt, Florian and Fleury, Mathias and Biere, Armin},
  title =	{Faster {LRAT} Checking Than Solving with {CaDiCaL}},
  booktitle    = {26th International Conference on Theory and Applications of Satisfiability
                  Testing, {SAT} 2023, Alghero, Italy},
  pages =	{21:1--21:12},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2023},
  volume =	{271},
  editor =	{Mahajan, Meena and Slivovsky, Friedrich},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi =		{10.4230/LIPIcs.SAT.2023.21},
}