An integer programming approach to instruction implementation method selection problem | Synapse