Skip to content

Sadaf Khan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

5

Active years

2022–2025

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2025ASPDACDeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2025DACLogic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2024DATEDeepSeq: Deep Sequential Circuit Learning.Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2024ICCADDeepGate3: Towards Scalable Circuit Representation Learning.Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2023DACOn EDA-Driven Learning for SAT Solving.Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
2023ICCADSATformer: Transformer-Based UNSAT Core Learning.Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2023ICCADDeepGate2: Functionality-Aware Circuit Representation Learning.Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2022DACDeepGate: learning neural representations of logic gates.Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
2022ITCDeepTPI: Test Point Insertion with Deep Reinforcement Learning.Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu