Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Ryan Williams
Information about the author Ryan Williams will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
An improved time‐space lower bound for tautologies
2011
We show that for all reals c and d such that c 2 d <4 there exists a positive real...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
