Fernando Magno Quintão Pereira Jens Palsberg Register Allocation After Classical SSA Elimination is NP-Complete. 79-93 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_6 db/conf/fossacs/fossacs2006.html#PereiraP06