Jump to content

Tseitin transformation

Add links
From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by ZephyrP (talk | contribs) at 21:24, 11 November 2015 (ZephyrP moved page Tseitin transformation to Tseytin transformation: The author himself prefers "Tseytin", additionally this spelling is used between 1966 and 1997, according to MathSciNet.). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect page

Redirect to:

  • From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Tseitin_transformation&oldid=690194397"