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].

Notes et références

Gregory Tseytin (ru) est un mathématicien et informaticien russe.

  1. 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 )
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.