DeepSAT: An EDA-Driven Learning Framework for SAT

Min Li, Zhengyuan Shi, Qiuxia Lai +3

We present DeepSAT, a novel end-to-end learning framework for the Boolean satisfiability (SAT) problem. Unlike existing solutions trained on random SAT instances with relatively we…