Inductive Time-Space Lower Bounds for Sat and Related Problems

Saved in:
Bibliographic Details
Published inComputational complexity Vol. 15; no. 4; pp. 433 - 470
Main Author Williams, Ryan
Format Journal Article
LanguageEnglish
Published 01.12.2006
Online AccessGet full text
ISSN1016-3328
1420-8954
DOI10.1007/s00037-007-0221-1

Cover

More Information
ISSN:1016-3328
1420-8954
DOI:10.1007/s00037-007-0221-1