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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.