Inproceedings,

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

.
Computational Complexity Conference, page 22-. IEEE Computer Society, (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews