TY  - RPRT
TI  - Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis
AU  - Feng Shi
AU  - Chonghan Lee
AU  - Mohammad Khairul Bashar
AU  - Nikhil Shukla
AU  - Song-Chun Zhu
AU  - Vijaykrishnan Narayanan
PY  - 2021
UR  - https://arxiv.org/abs/2107.07116
ID  - 2107.07116
ER  -