EDA-Driven Preprocessing for SAT Solving. - Zhengyuan Shi; Tiebing Tang; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu 001 (CoRR, 2024)