#非线性规划

GPU加速全局求解器GEAR：用线性界传播破解非线性规划难题

GEAR是一种GPU加速的全局非线性规划求解器，借鉴神经网络验证中的线性界传播技术，在GAMS和MINLPLib基准上超越Gurobi、BARON和SCIP等六种求解器，成功求解421/505个问题，其中16个问题无其他求解器能解。