@misc{indiciae3e9fd9c5b249,
  title = {A Reinforcement Learning based Reset Policy for CDCL SAT Solvers},
  author = {Chunxiao Li and Charlie Liu and Jonathan Chung and Zhengyang Lu and Piyush Jha and Vijay Ganesh},
  year = {2024},
  url = {https://arxiv.org/abs/2404.03753},
  note = {Source identifier: 2404.03753}
}