research
∙
03/04/2023
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Due to the increasing challenges posed by the relentless rise in the des...
share
research
∙
07/26/2022
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Deriving a good variable selection strategy in branch-and-bound is essen...
research
∙
03/06/2022
A Survey for Solving Mixed Integer Programming via Machine Learning
This paper surveys the trend of leveraging machine learning to solve mix...
research
∙
03/02/2022
Machine Learning Methods in Solving the Boolean Satisfiability Problem
This paper reviews the recent literature on solving the Boolean satisfia...
research
∙
05/28/2021
Learning to Select Cuts for Efficient Mixed-Integer Programming
Cutting plane methods play a significant role in modern solvers for tack...
research
∙
08/10/2020
Bilevel Learning Model Towards Industrial Scheduling
Automatic industrial scheduling, aiming at optimizing the sequence of jo...
research
∙
12/30/2019
Pareto Multi-Task Learning
Multi-task learning is a powerful method for solving multiple correlated...
research
∙
11/04/2018
A Batched Scalable Multi-Objective Bayesian Optimization Algorithm
The surrogate-assisted optimization algorithm is a promising approach fo...
research
∙
11/04/2018