Byron Tasseff

Hi Huan,Just to keep the information in one place, I'm quoting my response from your other post below in case it's useful for future readers: Yes, your observation can be correct for your particula...

Hi Huan,Yes, your observation can be correct for your particular model. A manually introduced bilinear reformulation could sometimes solve faster than modeling the nonlinear relationship directly.H...

Hi Huan,Thanks for sharing the examples. Yes, this difference in behavior is expected.One small point first: in Example 1 as written, x is not actually linked to the auxiliary power variables. You ...

Hi Huan,You do not necessarily need to manually provide bounds for every auxiliary variable if those bounds are implied by other bounds in the model. Gurobi's presolve performs bound propagation, s...

Hi João,I'm not very familiar with prioritizr, so I will mostly answer from the Gurobi perspective. To summarize, I would not expect Gurobi 8.0.0 and 13.0.1 to necessarily return the same solution....

Hi Mengyu,The reported gap is not an error. It is the MIP gap, which measures how far the current best feasible solution could still be from the true optimum, based on the best objective bound avai...

Hi Liu,Thank you for the detailed description. Models with bilinear terms and integer variables fall into the class of nonconvex MIQCP/MIQCQP problems that Gurobi handles with a global algorithm.(1...

Hi Marco,Happy (soon-to-be) new year to you, as well!If your model includes bilinear terms, the most impactful modeling lever is usually tight variable bounds (especially on variables participating...

Good news: this should be fixed in the latest documentation release. If you're viewing the PDF, please grab the newest version (via the same link you used above) to see the corrected tables. Thanks...