TY  - RPRT
TI  - SATformer: Transformer-Based UNSAT Core Learning
AU  - Zhengyuan Shi
AU  - Min Li
AU  - Yi Liu
AU  - Sadaf Khan
AU  - Junhua Huang
AU  - Hui-Ling Zhen
AU  - Mingxuan Yuan
AU  - Qiang Xu
PY  - 2024
DO  - 10.1109/iccad57390.2023.10323731
UR  - https://arxiv.org/abs/2209.00953
ID  - 2209.00953
ER  -