Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We show a new connection between the space measure in tree-like resolution and the reversible pebble game in graphs. Using this… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?