Wiktionary

Tseytin transformation

English edit

 
English Wikipedia has an article on:
Wikipedia

Alternative forms edit

Etymology edit

Named after G. S. Tseytin.

Proper noun edit

the Tseytin transformation

  1. A transformation that, given an arbitrary combinatorial logic circuit, produces an equisatisfiable Boolean formula in conjunctive normal form, the length of the formula being linear in the size of the circuit.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Tseytin_transformation&oldid=77971535"