@misc{indiciae22492f11d8c1,
  title = {DeepSAT: An EDA-Driven Learning Framework for SAT},
  author = {Min Li and Zhengyuan Shi and Qiuxia Lai and Sadaf Khan and Shaowei Cai and Qiang Xu},
  year = {2023},
  url = {https://arxiv.org/abs/2205.13745},
  note = {Source identifier: 2205.13745}
}