On the Complexity of SAT - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Richard J. Lipton, Anastasios Viglas. On the Complexity of SAT. In FOCS. pages 459-464, 1999. [doi]

@inproceedings{LiptonV99,
  title = {On the Complexity of SAT},
  author = {Richard J. Lipton and Anastasios Viglas},
  year = {1999},
  url = {http://computer.org/proceedings/focs/0409/04090459abs.htm},
  researchr = {https://researchr.org/publication/LiptonV99},
  cites = {0},
  citedby = {0},
  pages = {459-464},
  booktitle = {FOCS},
}

runs on WebDSL