30 citations · 62 across the 13 of their papers we have counts for
Showing 2022 · cs.AIShow all
2 papers · 2 filters
cs.AI2022★ 7 cited
SATformer: Transformer-Based UNSAT Core Learning
Zhengyuan Shi, Min Li, Yi Liu +5
This paper introduces SATformer, a novel Transformer-based approach for the Boolean Satisfiability (SAT) problem. Rather than solving the problem directly, SATformer approaches the…
cs.AI2022★ 3 cited
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…