@TechReport{Spears93Si,
  author="W. Spears",
  title="Simulated Annealing for hard satisfiability problems",
  institution="Naval Research Laboratory, Washington D.C.",
  year=1993}