@misc{indiciae94ff8cc3a1c7,
  title = {Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis},
  author = {Feng Shi and Chonghan Lee and Mohammad Khairul Bashar and Nikhil Shukla and Song-Chun Zhu and Vijaykrishnan Narayanan},
  year = {2021},
  url = {https://arxiv.org/abs/2107.07116},
  note = {Source identifier: 2107.07116}
}