Huawei AI-Solver Group
Huawei AI-Solver Group
新闻
研究论文
成员
联系
Xijun Li
Latest
Accelerate presolve in large-scale linear programming via reinforcement learning
Apollo-MILP: An alternating prediction-correction neural solving framework for mixed-integer linear programming
Differentiable integer linear programming
Layout decomposition via boolean satisfiability
Learning to cut via hierarchical sequence/set model for efficient mixed-integer programming
MILP-StuDio: MILP Instance Generation via Block Structure Decomposition
Rethinking branching on exact combinatorial optimization solver: The first deep symbolic discovery framework
Towards general algorithm discovery for combinatorial optimization: Learning symbolic branching policy from bipartite graph
A survey for solving mixed integer programming via machine learning
Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline
Learning cut selection for mixed-integer linear programming via hierarchical sequence model
Machine learning methods in solving the boolean satisfiability problem
Accelerate the optimization of large-scale manufacturing planning using game theory
Learning to optimize industry-scale dynamic pickup and delivery problems
Multiobjective optimization-aided decision-making system for large-scale manufacturing planning
Cite
×