Yuan Zhao Ken Kennedy Scalarization on Short Vector Machines. 187-196 2005 ISPASS http://doi.ieeecomputersociety.org/10.1109/ISPASS.2005.1430573 conf/ispass/2005 db/conf/ispass/ispass2005.html#ZhaoK05