Transformation de Tseitin
En logique, la transformation de Tseitin prend un circuit logique et produit une formule booléenne équisatisfiable en forme normale conjonctive. La transformation est linéaire[1]. Elle a été développée par le mathématicien russe Grigori Tseitin.
Contexte modifier
Exemple modifier
Notes et références modifier
Grigori Tseitin est un mathématicien et informaticien russe.
- Tseitin, « On the complexity of derivations in the propositional calculus », Studies in Mathematics and Mathematical Logic, vol. Part II, , p. 115–125 (lire en ligne, consulté le )