Atasu, K., Dündar, G., Özturan, C., “An Integer Linear Programming Approach for Identifying Instruction Set Extensions”, 2005 International Conference on Hardware/Software Codesign and System Synthesis, 172-177, 2005.