Tseytin transformation

From Wiktionary, the free dictionary
Jump to navigation Jump to search

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"