Alain Billionnet Sourour Elloumi Amélie Lambert Linear Reformulations of Integer Quadratic Programs. 43-51 2008 MCO http://dx.doi.org/10.1007/978-3-540-87477-5_5 conf/mco/2008 db/conf/mco/mco2008.html#BillionnetEL08