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

@inproceedings{Goerdt2001EfficientRO,
  title={Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods},
  author={Andreas Goerdt and Michael Krivelevich},
  booktitle={STACS},
  year={2001}
}