A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Uwe Schöning. A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems. In FOCS. pages 410-414, 1999. [doi]

@inproceedings{Schoning99,
  title = {A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems},
  author = {Uwe Schöning},
  year = {1999},
  url = {http://computer.org/proceedings/focs/0409/04090410abs.htm},
  tags = {constraints},
  researchr = {https://researchr.org/publication/Schoning99},
  cites = {0},
  citedby = {0},
  pages = {410-414},
  booktitle = {FOCS},
}

runs on WebDSL