Login / Signup
Armin Haken
Publication Activity (10 Years)
Years Active: 1985-1999
Publications (10 Years): 0
</>
Publications
</>
Armin Haken
,
Stephen A. Cook
An Exponential Lower Bound for the Size of Monotone Real Circuits.
J. Comput. Syst. Sci.
58 (2) (1999)
Armin Haken
Counting Bottlenecks to Show Monotone P NP.
FOCS
(1995)
Armin Haken
,
Michael Luby
Steepest Descent Can Take Exponential Time for Symmetric Connection Networks.
Complex Syst.
2 (2) (1988)
Armin Haken
The Intractability of Resolution.
Theor. Comput. Sci.
39 (1985)