Satformer: Transformer-based unsat core learning

Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
January 2023
Cite
Type
Eda
Publication
ICCAD