Minimization of a quadratic pseudo-Boolean function