ResearchTrend.AI
DeepSAT: An EDA-Driven Learning Framework for SAT
v1v2 (latest)

DeepSAT: An EDA-Driven Learning Framework for SAT

Min Li
Zhengyuan Shi
Qiuxia Lai
Sadaf Khan
Shaowei Cai
Qiang Xu
ArXiv (abs)PDFHTML

Papers citing "DeepSAT: An EDA-Driven Learning Framework for SAT"

5 / 5 papers shown
Title
DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale
DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale
Ziyang Zheng
Shan Huang
Jianyuan Zhong
Zhengyuan Shi
Guohao Dai
Ningyi Xu
Qiang Xu
GNN
147
4
0
02 Feb 2025
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations
Sadaf Khan
Zhengyuan Shi
Ziyang Zheng
Min Li
Qiang Xu
89
1
0
01 Nov 2024
DeepGate3: Towards Scalable Circuit Representation Learning
DeepGate3: Towards Scalable Circuit Representation Learning
Zhengyuan Shi
Ziyang Zheng
Sadaf Khan
Jianyuan Zhong
Min Li
Qiang Xu
GNNAI4CE
94
11
0
15 Jul 2024
General Method for Solving Four Types of SAT Problems
General Method for Solving Four Types of SAT Problems
Anqi Li
Congying Han
Tiande Guo
Haoran Li
Bonan li
62
3
0
27 Dec 2023
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li
Jinpei Guo
Xujie Si
NAI
58
6
0
29 Sep 2023

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.