English Explanatory Dictionary

Tseytin transformation

English dictionary entry

Meanings

name
  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.

Word forms

Tseytin transformation the Tseytin transformation Tseitin transformation

Etymology

Named after G. S. Tseytin.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on T Russian dictionary Dahl dictionary