Tseitin transformation

English

edit

Proper noun

edit

the Tseitin transformation

  1. Alternative form of Tseytin transformation