New Spectral Algorithms for Refuting Smoothed k-SAT

Open in new window