Solver | Huawei Taylor Lab (Taylor)

Taylor Solver


Challenge the Limit and Surpass the Limit


The TAYLOR Solver is a high-performance optimization software developed independently by Huawei Taylor Labs for large-scale and real-time scenarios.

Our solver can handle large-scale mixed integer programming (MIP), linear programming (LP), quadratic programming (QP), and nonlinear programming (NLP) problems.



Our Objective


With the development of industrialization and informatization, the performance of traditional optimization solvers hardly meets the solution time requirements for real-time problems, which results in the inability of solvers to address many industrial problems. The TAYLOR solver will continue to conduct in-depth research into solving large-scale problems to enhance solution performance and meet the industry's demands for real-time solving capabilities.

In contrast to the existing MIP solvers which primarily utilize algorithms from the operations research (OR) and SAT/SMT solvers which focus on the methodologies from computer science (CS), we seek to develop a novel and efficient solver by combining the search techniques from OR and CS (MIX ORCS Search).

Currently, our solver has successfully solved large-scale problems in different scenarios from multiple departments, including departments of wireless, telecom, optical, cloud core, HiSilicon, and so on. Our solver supports the mixed integer problems with tens of millions of variables and constraints and can solve the NLP problems with several hundred thousand variables and constraints within milliseconds, surpassing other commercial solvers.


Our Team


Our solver development team is led by Professor Lu Pinyan and comprises members from computer science, the operations research, Mathematics, and Automation. In the future, our team will continue to conduct in-depth research on technologies for the optimization solver and methodologies for industrial problems. We welcome everyone to join us.

Contact:

zhaotingting31@huawei.com,lumeng22@huawei.com
Pinyan Lu Pinyan Lu Chief Scientist Zhendong Lei Zhendong Lei Solver Technical Director