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},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/stoc/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/bib/conf/stoc/HansenKZZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/2019,
  editor    = {Moses Charikar and
               Edith Cohen},
  title     = {Proceedings of the 51st Annual {ACM} {SIGACT} Symposium on Theory
               of Computing, {STOC} 2019, Phoenix, AZ, USA, June 23-26, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3313276},
  isbn      = {978-1-4503-6705-9},
  timestamp = {Sat, 22 Jun 2019 17:42:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics