R. G. Jeroslow, There Cannot be any Algorithm for Integer Programming with Quadratic Constraints, Operations Research, Vol. 21, No. 1, Mathematical Programming and ...