Edward A. Hirsch
Department of Computer Science, Ariel University.
I am a
theoretical computer scientist
interested in algorithms, complexity, and formal proofs.
Contents:
Students.
Research papers and surveys.
Courses.
SAT resources.
CV.
My wife
(also a mathematician).
To contact me, please write to
login: edward.a.hirsch domain: gmail