1999 | ||
---|---|---|
3 | Armin Haken, Stephen A. Cook: An Exponential Lower Bound for the Size of Monotone Real Circuits. J. Comput. Syst. Sci. 58(2): 326-335 (1999) | |
1995 | ||
2 | Armin Haken: Counting Bottlenecks to Show Monotone P <=> NP. FOCS 1995: 36-40 | |
1985 | ||
1 | Armin Haken: The Intractability of Resolution. Theor. Comput. Sci. 39: 297-308 (1985) |
1 | Stephen A. Cook | [3] |