Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis | Synapse