Kubilay Atasu Günhan Dündar Can C. Özturan An integer linear programming approach for identifying instruction-set extensions. 172-177 2005 conf/codes/2005 CODES+ISSS http://doi.acm.org/10.1145/1084834.1084880 db/conf/codes/codes2005.html#AtasuDO05