Meaning of Tseytin transformation | Babel Free
Definitions
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.
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free