BibTeX record conf/pricai/ThorntonP08

• > Home > conf/pricai/ThorntonP08

@inproceedings{DBLP:conf/pricai/ThorntonP08,
  author       = {John Thornton and
                  Duc Nghia Pham},
  editor       = {Tu Bao Ho and
                  Zhi{-}Hua Zhou},
  title        = {Using Cost Distributions to Guide Weight Decay in Local Search for
                  {SAT}},
  booktitle    = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim
                  International Conference on Artificial Intelligence, Hanoi, Vietnam,
                  December 15-19, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5351},
  pages        = {405--416},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89197-0\_38},
  doi          = {10.1007/978-3-540-89197-0\_38},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pricai/ThorntonP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}