Metraipolis › archive › dc_6933adf4e00a

Grigori Tseitin — Wikipedia (fr)

Source: Wikipedia (fr)
Original: https://fr.wikipedia.org/wiki/Grigori_Tseitin
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-08T03:45:22.382Z
SHA-256 of the archived text: c0364715cb52eda1b5ed81a4e287e1caad66040724745d021cab125470ebafe6
Stable URL of this page: https://metraipolis.com/documento/dc_6933adf4e00a

How to cite

Grigori Tseitin — Wikipedia (fr) — Wikipedia (fr), https://fr.wikipedia.org/wiki/Grigori_Tseitin (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_6933adf4e00a (Metraipolis archive dc_6933adf4e00a, sha256 c0364715cb52eda1b5ed81a4e287e1caad66040724745d021cab125470ebafe6)

BibTeX

@misc{dc6933adf4e00a,
  title = {Grigori Tseitin — Wikipedia (fr)},
  howpublished = {Wikipedia (fr)},
  url = {https://fr.wikipedia.org/wiki/Grigori_Tseitin},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_6933adf4e00a; sha256 c0364715cb52eda1b5ed81a4e287e1caad66040724745d021cab125470ebafe6},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (fr), https://fr.wikipedia.org/wiki/Grigori_Tseitin. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Grigori Samuilovitch Tseitin (en russe : Григорий Самуилович Цейтин), né le 15 novembre 1936 à Léningrad, URSS, décédé le 27 août 2022 à Campbell, Californie, États-Unis) est un mathématicien et informaticien russe, qui a déménagé aux États-Unis en 1999. Il est surtout connu pour la transformation de Tseitin utilisée dans les solveurs SAT (en), les tautologies Tseitin utilisées dans la théorie de la complexité de la preuve et pour ses travaux sur Algol 68.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in francese, in ordine alfabetico).
Fonte: Wikipedia in francese, voce «Grigori Tseitin» — https://fr.wikipedia.org/wiki/Grigori_Tseitin
Wikidata Q54086508: «Russian mathematician and computer scientist» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q54086508
Autori: i contributori di Wikipedia (cronologia: https://fr.wikipedia.org/wiki/Grigori_Tseitin?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 208688277, consultata il 2026-11-08T03:41:47.821Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: d6dd0fcbb141adb102af41c277e413178073e8ac4601468a2624edca4c7b3740