Gravar-mail: Convex quadratic programming applied to the stability number of a graph