Abid M. Malik Jim McInnes Peter van Beek Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming. 37-54 2008 17 International Journal on Artificial Intelligence Tools 1 http://dx.doi.org/10.1142/S0218213008003765 db/journals/ijait/ijait17.html#MalikMB08