activity
20242026
most citedLogic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2026

Beyond Flat Netlist: Hierarchical Graph Representation Learning for Scalable Analysis of Sequential Circuits

Jingyi Zhou, Zhengyuan Shi, Jiaying Zhu +2

Circuit Representation Learning (CRL) offers a powerful paradigm to guide and optimize core Electronic Design Automation (EDA) tasks, but its practical adoption is hindered by the…