Developers are increasingly relying on large language models (LLMs) for everyday computing tasks such as fixing bugs, ...

Combinatorial optimization problems are often encountered in real-world applications, including logistics, scheduling and ...

Abstract: The branch and bound (BB) algorithm is widely used to obtain the global solution of mixed-integer linear programming (MILP) problems. On the other hand, when the traditional BB structure is ...

Abstract: This study discusses vehicle stability control based on explicit nonlinear model predictive control (NMPC) and investigates the influence of prediction model fidelity on controller ...

Awards recognize foundational research that helped shape mixed-integer and nonlinear optimization—and reflect the company’s deep scientific roots.