Das SAT-Problem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Uwe Schöning. Das SAT-Problem. Informatik Spektrum, 33(5):479-483, 2010. [doi]

@article{Schoning10-0,
  title = {Das SAT-Problem},
  author = {Uwe Schöning},
  year = {2010},
  doi = {10.1007/s00287-010-0459-x},
  url = {http://dx.doi.org/10.1007/s00287-010-0459-x},
  researchr = {https://researchr.org/publication/Schoning10-0},
  cites = {0},
  citedby = {0},
  journal = {Informatik Spektrum},
  volume = {33},
  number = {5},
  pages = {479-483},
}

runs on WebDSL