Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory.

Research papers Teaching Students Affiliations, committees... SAT tools Seminar Database of papers by different people Addresses

Electronic Library: CS People and Papers These pages are under permanent construction! Use at your own risk. Find a CS person. Search for papers in this database (mostly, on SAT, propositional proof systems, computational complexity): enter your password (or type test instead of it) and press the Start button: Password:

[Laboratory] [Institute]