Dieter Melkebeek

Information about the author Dieter Melkebeek will soon be added to the site.

Found 1 papers in total

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: