BibTeX record conf/wads/ChenL09

download as .bib file

@inproceedings{DBLP:conf/wads/ChenL09,
  author       = {Jianer Chen and
                  Yang Liu},
  editor       = {Frank K. H. A. Dehne and
                  Marina L. Gavrilova and
                  J{\"{o}}rg{-}R{\"{u}}diger Sack and
                  Csaba D. T{\'{o}}th},
  title        = {An Improved {SAT} Algorithm in Terms of Formula Length},
  booktitle    = {Algorithms and Data Structures, 11th International Symposium, {WADS}
                  2009, Banff, Canada, August 21-23, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5664},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03367-4\_13},
  doi          = {10.1007/978-3-642-03367-4\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wads/ChenL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics