The research team hired several solvers to tackle the complex optimization problem.

The solver carefully examined each equation until a correct method emerged.