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

Andreas Goerdt Michael Krivelevich

Published in: STACS (2001)

Keyphrases

spectral methods
sat solvers
sat instances
phase transition
randomly generated
object recognition
random sat
feature extraction
random walk
satisfiability problem
pattern recognition
spectral analysis
orders of magnitude
constraint satisfaction