@article{OsamaWijsBiere-FMSD24,
  author       = {Muhammad Osama and
                  Anton Wijs and
                  Armin Biere},
  title        = {Certified {SAT} solving with {GPU} accelerated inprocessing},
  journal      = {Formal Methods System Design},
  volume       = {62},
  number       = {1},
  pages        = {79--118},
  year         = {2024},
  publisher    = {Springer},
  url          = {https://doi.org/10.1007/s10703-023-00432-z},
  doi          = {10.1007/S10703-023-00432-Z},
}