@inproceedings{BiereFallerFazekasFleuryFroleyksPollitt-SAT-Competition-2024-solvers,
  author       = {Armin Biere and Tobias Faller and Katalin Fazekas and Mathias Fleury and Nils Froleyks and Florian Pollitt},
  title	       = {{CaDiCaL}, {Gimsatul}, {IsaSAT} and {Kissat} Entering the {SAT Competition 2024}},
  editor       = {Marijn Heule and Markus Iser and Matti J{\"a}rvisalo and Martin Suda},
  booktitle    = {Proc.~of {SAT Competition} 2024 -- Solver, Benchmark and
                  Proof Checker Descriptions},
  volume       = {B-2024-1},
  series       = {Department of Computer Science Report Series B},
  publisher    = {University of Helsinki},
  year	       = 2024,
  pages	       = {8-10},
}