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

If your agentic AI project is failing, your problem is likely that you treated the integration work as somebody else's issue ...

Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...

Abstract: Numerical optimization-based solution to directional overcurrent relay (DOCR) coordination problem has been a widely addressed research problem in the recent past. Many linear (LP), ...

In 2022, global production of construction materials accounted for more than 7% of total carbon emissions. But how many of ...

As initiatives for decarbonization take place, there are growing expectations for green hydrogen and ammonia produced using renewable energy, but reducing the costs of full-scale implementation has ...

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming.

Economic Viability Evaluated under METI's "FY2023 Supplementary Funds for The Global South Future-Oriented Co-Creation Program" --- An analysis was conducted, in collaboration with Hygenco-MHI's partn ...

Planning for promotions is far harder than planning for routine demand and replenishment. The solution lies in a hybrid ...

Fusing Backdoors, Machine Learning, and Optimization for Large-Scale Parametric Mixed-Integer Programs El Mehdi Er Raqabi, Pascal Van Hentenryck Robustness Cannot be Reduced to Regularization: ...