CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year Technical Reports
By Class By Topic By Year Technical Reports
login
H. H. Hoos and T. Stützle. Local Search Algorithms for SAT: An Empirical Evaluation. Journal of Automated Reasoning, 24(4):421-481, 2000.
© Springer-Verlag 2000

@article{HooStu2000:jar,
  author = {Holger H. Hoos and Thomas Stützle},
  title = {Local Search Algorithms for {SAT}: An Empirical Evaluation},
  year = {2000},
  journal = {Journal of Automated Reasoning},
  volume = {24},
  number = {4},
  pages = {421--481}
}

Updated: 2017-03-27