Tseytin transformation
专有名词
英文释义
专有名词
- 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.
0 次浏览
数据来源: Wiktionary