Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

DeepGate2: Functionality-Aware Circuit Representation Learning


May 25, 2023
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Add code


   Access Paper or Ask Questions

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG


Mar 04, 2023
Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang

Add code


   Access Paper or Ask Questions

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline


Feb 11, 2023
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan

Add code

* Not all authors allow to make it on arXiv at this moment 

   Access Paper or Ask Questions

SATformer: Transformers for SAT Solving


Sep 02, 2022
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Add code


   Access Paper or Ask Questions

Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning


Jul 26, 2022
Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang

Add code


   Access Paper or Ask Questions

A Survey for Solving Mixed Integer Programming via Machine Learning


Mar 06, 2022
Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan

Add code


   Access Paper or Ask Questions

Machine Learning Methods in Solving the Boolean Satisfiability Problem


Mar 02, 2022
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin

Add code


   Access Paper or Ask Questions

Bilevel Learning Model Towards Industrial Scheduling


Aug 10, 2020
Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, XialiangTong, Jia Zeng, Jun Wang, Dirk Schnieders

Add code


   Access Paper or Ask Questions

Pareto Multi-Task Learning


Dec 30, 2019
Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong

Add code

* 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), Vancouver, Canada 

   Access Paper or Ask Questions

1
2
>>