Tseytin transformation

短语

词形变化

the Tseytin transformation

别名

Tseitin transformation

释义与例句

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

词源

Named after G. S. Tseytin.

来源：wiktionary