Academic
Grigori Tseitin
Russian mathematician and computer scientist
- Life
- 1936 – 2022
- Born
- November 15, 1936
- Died
- August 27, 2022
- Nationality
- Russia, United States
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.
