Edward A. Hirsch I am a mathematician (computer scientist, if you like) interested in computational complexity, proof theory, and SAT algorithms. Check the web page of CSR-2006. The conference opens a new series of meetings.

Research papers SAT solvers and benchmarks Affiliations, membership, service to the community Teaching Students Seminar Database of papers by different people Addresses

Address: Laboratory of Mathematical Logic, Steklov Institute of Mathematics at St.Petersburg, 27 Fontanka, St.Petersburg 191023, Russia Email: username: hirsch, domain: pdmi.ras.ru

[Laboratory] [Institute]