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. SATLIB: An Online Resource for Research on SAT. In I. Gent, H. van Maaren, and T. Walsh, editors, SAT2000, volume 63 of Frontiers in Artificial Intelligence and Applications, pages 283-292. IOS Press, 2000.
© IOS Press 2000

@incollection{HooStu2000:satlib,
  author = {Holger H. Hoos and Thomas Stützle},
  editor = {Ian Gent and Hans van Maaren and Toby Walsh},
  title = {{SATLIB}: An Online Resource for Research on {SAT}},
  publisher = {IOS Press},
  year = {2000},
  booktitle = {SAT2000},
  volume = {63},
  series = {Frontiers in Artificial Intelligence and Applications},
  pages = {283--292}
}

Updated: 2017-03-27