Local Search Algorithms for SAT: An Empirical Evaluation

Local Search Algorithms for SAT: An Empirical Evaluation
Holger H. Hoos and Thomas Stützle, 2000

Download

[HTML] 

Abstract

(unavailable)

BibTeX Entry

@Article{Hoos+Stutzle:2000,
  author =       "Hoos, Holger H. and St{\"u}tzle, Thomas",
  title =        "Local Search Algorithms for SAT: An Empirical Evaluation",
  journal =      "Journal of Automated Reasoning",
  year =         "2000",
  volume =    "24",
  number =    "4",
  pages =     "421--481",
  url = "http://cs.ubc.ca/~hoos/Publ/jar00.pdf",
  bib2html_rescat = "Parameter",
}