Tseytin transformation en · PROPN
Etymology
Named after G. S. Tseytin.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Tseytin transformation | canonical | lexicographic | |
| Tseitin transformation | alternative | lexicographic |