BibTeX record journals/corr/abs-1103-2165

download as .bib file

@article{DBLP:journals/corr/abs-1103-2165,
  author    = {Timon Hertli},
  title     = {3-SAT Faster and Simpler - Unique-SAT Bounds for {PPSZ} Hold in General},
  journal   = {CoRR},
  volume    = {abs/1103.2165},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics