Time-Space Lower Bounds for SAT on Uniform and Non-Uniform Machines

Iannis Tourlakis. Time-Space Lower Bounds for SAT on Uniform and Non-Uniform Machines. In IEEE Conference on Computational Complexity. pages 22, 2000. [doi]

@inproceedings{Tourlakis00,
  title = {Time-Space Lower Bounds for SAT on Uniform and Non-Uniform Machines},
  author = {Iannis Tourlakis},
  year = {2000},
  url = {http://computer.org/proceedings/coco/0674/06740022abs.htm},
  researchr = {https://researchr.org/publication/Tourlakis00},
  cites = {0},
  citedby = {0},
  pages = {22},
  booktitle = {IEEE Conference on Computational Complexity},
}