21 citations · 39 across the 10 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
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.LG2022
DeepTPI: Test Point Insertion with Deep Reinforcement Learning
Zhengyuan Shi, Min Li, Sadaf Khan +4
Test point insertion (TPI) is a widely used technique for testability enhancement, especially for logic built-in self-test (LBIST) due to its relatively low fault coverage. In this…
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…