Tseytin transformation
Sign in to saveAlso known as Tseitin transformation
operation in Boolean circuit theory
Wikidata facts
- Instance of
- algorithm
- Named after
- Gregory S. Tseytin
Show 2 more facts
- codomain
- conjunctive normal form
- partial function domain
- propositional formula
Sources (1)
via Wikidata · CC0