Skip to search formSkip to main contentSkip to account menu

Tseytin transformation

Known as: Tseitin transformation, Tseitin-Transformation 
The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
AND gateBoolean satisfiability problemCombinational logicConjunctive normal form

Broader (1)

Logic in computer science

Search for papers about Tseytin transformation

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)