SATformer: Transformer-Based UNSAT Core Learning.

Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Browse the full ICCAD paper archive.