Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods.

Andreas Goerdt, Michael Krivelevich

Browse the full STACS paper archive.