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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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

Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model


Feb 01, 2023
Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu

Add code

* Accepted to ICLR2023 

   Access Paper or Ask Questions

Offline Reinforcement Learning with Adaptive Behavior Regularization


Nov 15, 2022
Yunfan Zhou, Xijun Li, Qingyu Qu

Add code

* Xijun Li is the corresponding author 

   Access Paper or Ask Questions

LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems


Mar 21, 2022
Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li

Add code

* This paper has been accepted by DAC 2022. Xijun is the correspoonding author 

   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

Yordle: An Efficient Imitation Learning for Branch and Bound


Feb 02, 2022
Qingyu Qu, Xijun Li, Yunfan Zhou

Add code

* arXiv admin note: text overlap with arXiv:2201.06213 

   Access Paper or Ask Questions

Introduction to The Dynamic Pickup and Delivery Problem Benchmark -- ICAPS 2021 Competition


Jan 19, 2022
Jianye Hao, Jiawen Lu, Xijun Li, Xialiang Tong, Xiang Xiang, Mingxuan Yuan, Hankz Hankui Zhuo

Add code


   Access Paper or Ask Questions

Learning to Reformulate for Linear Programming


Jan 17, 2022
Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Kun Mao, Jie Wang

Add code


   Access Paper or Ask Questions

1
2
>>