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
H. H. Hoos and T. Stützle. Local Search Algorithms for SAT: An Empirical Evaluation. In I. Gent, H. van Maaren, and T. Walsh, editors, SAT2000, volume 63 of Frontiers in Artificial Intelligence and Applications, pages 43-88. IOS Press, Amsterdam, The Netherlands, 2000.
© IOS Press 2000

  author = {Holger H. Hoos and Thomas Stützle},
  editor = {Ian Gent and Hans van Maaren and Toby Walsh},
  title = {Local Search Algorithms for {SAT}: An Empirical Evaluation},
  publisher = {IOS Press},
  year = {2000},
  booktitle = {SAT2000},
  volume = {63},
  series = {Frontiers in Artificial Intelligence and Applications},
  pages = {43--88},
  address = {Amsterdam, The Netherlands}

Updated: 2017-03-27