Armin Haken

	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)

Coauthor Index

1

Stephen A. Cook

[3]