Armin Haken

According to our database¹, Armin Haken authored at least 4 papers between 1985 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

An Exponential Lower Bound for the Size of Monotone Real Circuits.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

1995

Counting Bottlenecks to Show Monotone P <=> NP.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual Symposium on Foundations of Computer Science, 1995

1988

Steepest Descent Can Take Exponential Time for Symmetric Connection Networks.

[BibT_eX]

[DOI]

Complex Syst., 1988

1985

The Intractability of Resolution.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1985