[IP01] On the Complexity of k-SAT

Authors: Russell Impagliazzo, Ramamohan Paturi | Venue: Journal of Computer and System Sciences 2001 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@article{IP01,
  author  = {Russell Impagliazzo and Ramamohan Paturi},
  title   = {On the Complexity of $k$-{SAT}},
  journal = {Journal of Computer and System Sciences},
  volume  = {62},
  number  = {2},
  pages   = {367--375},
  year    = {2001},
  doi     = {10.1006/jcss.2000.1727},
}