Tseytin transformation
nameEtymology
Named after G. S. Tseytin.
Definitions
A transformation that, given an arbitrary combinatorial logic circuit, produces an…
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.
The neighborhood
Vish — recursive loop
No curated loop yet for Tseytin transformation. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA