Universitaire
Grigori Tseitin
Russian mathematician and computer scientist
- Vie
- 1936 – 2022
- Né(e) le
- 15 novembre 1936
- Décédé(e) le
- 27 août 2022
- Nationalité
- Russie, États-Unis
Grigori Samuilovitsch Tseitin was a Russian mathematician and computer scientist, who moved to the United States in 1999. He is best known for Tseitin transformation used in SAT solvers, Tseitin tautologies used in the proof complexity theory, and for his work on Algol 68.
