Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space

Title
Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space
Authors
Keywords
-
Journal
SIAM JOURNAL ON COMPUTING
Volume 45, Issue 4, Pages 1612-1645
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Online
2016-08-31
DOI
10.1137/130914085

Ask authors/readers for more resources

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now