Hamesand Scholz. Nearly Optimal Register Allocation with PBQP. Springer Berlin Heidelberg, 2006, doi:10.1007/11860990_21.