Tseytin transformation

English

Alternative forms

Etymology

Named after G. S. Tseytin.

Proper noun

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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.