|Available Options:||Quadratic_Concave_Constraint, Quadratic_Equality_Constraint, Exponential_Reformulation, Continuous_Relaxation.|
REFORMULATE_BINARIES is enabled, this option determines which method to use in the reformulation of binary variables.
All of these methods transform the binary variables to continuous, either by adding constraints, or simply by dropping integrality (
Continuous_Relaxation). The constraint adding methods tend to suck, and obviously dropping integrality means you’re now solving a different problem, so you should only really fiddle with this if you’re reaaaally desperate or you really know what you’re doing.