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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We show a new connection between the clause space measure in tree-like resolution and the reversible pebble game on graphs. Using… 
2017
2017
A binary puzzle is a Sudoku-like puzzle consisting of a square array where each entry consists of a zero, a one, or a blank. Let…