![]() |
Edward A. Hirsch I am a theoretical computer scientist (that is, mathematician) interested in computational complexity and proof theory. News: CSR-2021 will be held in Sochi, deadline December 24, 2020. In 2022, CSR will be an ICM satellite! |
|
SAT solvers and benchmarks
|