Neeman's characterization of K(R-Proj) via Bousfield localization

Let R be an associative ring with unit and denote by K(R-Proj) the homotopy category of complexes of projective left R-modules. Neeman proved the theorem that K(R-Proj) is ℵ1-compactly generated, with the category K+(R-proj) of left bounded complexes of finitely generated projective R-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in K(R-Proj) vanishes in the Bousfield localization K(R-Flat)/〈K+(R-proj)〉.