Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How.

Florent Bouchez Alain Darte Christophe Guillon Fabrice Rastello Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How. 283-298 2006 conf/lcpc/2006 LCPC http://dx.doi.org/10.1007/978-3-540-72521-3_21 db/conf/lcpc/lcpc2006.html#BouchezDGR06