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

Current students PhD program. Sergey S. Fedin, Arist Kojevnikov, Alexander S. Kulikov, Sergey I. Nikolenko, Konstantin Pervyshev. MSc program. Dmitry Itsykson.

[Laboratory] [Institute]