The Computational Complexity Column Time-Space Lower Bounds for Satisfiability

Dieter van Melkebeek. The Computational Complexity Column Time-Space Lower Bounds for Satisfiability. Bulletin of the EATCS, 73:57-77, 2001.

@article{Melkebeek01,
  title = {The Computational Complexity Column Time-Space Lower Bounds for Satisfiability},
  author = {Dieter van Melkebeek},
  year = {2001},
  researchr = {https://researchr.org/publication/Melkebeek01},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {73},
  pages = {57-77},
}