BibTeX record conf/aaai/CaiSL13

download as .bib file

@inproceedings{DBLP:conf/aaai/CaiSL13,
  author       = {Shaowei Cai and
                  Kaile Su and
                  Chuan Luo},
  editor       = {Marie desJardins and
                  Michael L. Littman},
  title        = {Improving WalkSAT for Random k-Satisfiability Problem with k {\textgreater}
                  3},
  booktitle    = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
                  Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  pages        = {145--151},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/aaai.v27i1.8554},
  doi          = {10.1609/AAAI.V27I1.8554},
  timestamp    = {Wed, 20 Mar 2024 18:35:14 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/CaiSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics