@misc{indiciae19bf6ecd09b0,
  title = {Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination},
  author = {Mate Soos and Randal E. Bryant},
  year = {2023},
  url = {https://arxiv.org/abs/2304.04292},
  note = {Source identifier: 2304.04292}
}