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. Systematic vs.\ Local Search for SAT. In W. Burgard, T. Christaller, and A. B. Cremers, editors, KI-99: Advances in Artificial Intelligence, volume 1701 of Lecture Notes in Artificial Intelligence, pages 289-293, Berlin, Germany, 1999. Springer-Verlag.
© Springer-Verlag 1999

  author = {Holger H. Hoos and Thomas Stützle},
  editor = {Wolfram Burgard and Thomas Christaller and Armin B. Cremers},
  title = {Systematic vs.\ Local Search for {SAT}},
  year = {1999},
  booktitle = {KI-99: Advances in Artificial Intelligence},
  volume = {1701},
  series = {Lecture Notes in Artificial Intelligence},
  pages = {289--293},
  address = {Berlin, Germany},
  publisher = {Springer-Verlag}

Updated: 2017-03-27