Mixed Integer Quadratic Programming