This option forces the reformulation method applied to Binary Quadratic Problems. SSLINEAR linearises the BQP using a modified version of Sherali and Smith, “An improved linearization strategy for zero-one quadratic programming problems”, 2007.

Note that this applies to the preprocessing state machine, i.e., if your problem is reformulated to a BQP by the preprocessor, you can use this option to force how that BQP will be reformulated.