Tseytin transformation (English, name)
expansion: the Tseytin transformation
Senses:
glosses: 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:
form: the Tseytin transformation
tags: canonical
form: Tseitin transformation
tags: alternative