Zhanguang Zhang

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Propositional Satisfiability

Expert Knowledge

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. KDD (2024)
Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. CoRR (2024)
Surya Penmetsa, Fahad Rahman Amik, Zhanguang Zhang, Yingying Fu, Yingxue Zhang, Wulong Liu, Jianye Hao
Generalizable and Relation Sensitive Netlist Representation for Analog Circuit Design. ACM Great Lakes Symposium on VLSI (2024)
Shuwen Yang, Zhihao Yang, Dong Li, Yingxue Zhang, Zhanguang Zhang, Guojie Song, Jianye Hao
Versatile Multi-stage Graph Neural Network for Circuit Representation. NeurIPS (2022)
Mohammad Amini, Zhanguang Zhang, Surya Penmetsa, Yingxue Zhang, Jianye Hao, Wulong Liu
Generalizable Floorplanner through Corner Block List Representation and Hypergraph Embedding. KDD (2022)