BibTeX record conf/stoc/HansenKZZ19

download as .bib file

@inproceedings{DBLP:conf/stoc/HansenKZZ19,
  author    = {Thomas Dueholm Hansen and
               Haim Kaplan and
               Or Zamir and
               Uri Zwick},
  editor    = {Moses Charikar and
               Edith Cohen},
  title     = {Faster \emph{k}-SAT algorithms using biased-PPSZ},
  booktitle = {Proceedings of the 51st Annual {ACM} {SIGACT} Symposium on Theory
               of Computing, {STOC} 2019, Phoenix, AZ, USA, June 23-26, 2019},
  pages     = {578--589},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3313276.3316359},
  doi       = {10.1145/3313276.3316359},
  timestamp = {Sat, 22 Jun 2019 17:53:00 +0200},
  biburl    = {https://dblp.org/rec/conf/stoc/HansenKZZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics