This option forces the reformulation method applied to Binary Quadratic Problems. 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.