TompkinsH06'

BibTeX

@inproceedings{DBLP:conf/ai/TompkinsH06,
  author    = {Dave A. D. Tompkins and
               Holger H. Hoos},
  title     = {On the Quality and Quantity of Random Decisions in Stochastic
               Local Search for SAT},
  booktitle = {Canadian Conference on AI},
  year      = {2006},
  pages     = {146-158},
  ee        = {http://dx.doi.org/10.1007/11766247_13},
  crossref  = {DBLP:conf/ai/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ai/2006,
  editor    = {Luc Lamontagne and
               Mario Marchand},
  title     = {Advances in Artificial Intelligence, 19th Conference of
               the Canadian Society for Computational Studies of Intelligence,
               Canadian AI 2006, Qu{\'e}bec City, Qu{\'e}bec, Canada,
               June 7-9, 2006, Proceedings},
  booktitle = {Canadian Conference on AI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4013},
  year      = {2006},
  isbn      = {3-540-34628-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}