Yin Tat Lee, He Sun: An SDP-based algorithm for linear-sized spectral sparsification. STOC 2017: 678-687