BibTeX record conf/focs/Hertli11

download as .bib file

@inproceedings{DBLP:conf/focs/Hertli11,
  author    = {Timon Hertli},
  title     = {3-SAT Faster and Simpler - Unique-SAT Bounds for {PPSZ} Hold in General},
  booktitle = {{FOCS}},
  pages     = {277--284},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics