Tseitin Transformation

Manolios, P. Tseitin Transformation.

Type

Web resource

Intellectual base

Web

Link

https://www.khoury.northeastern.edu/~pete/courses/Computer-Aided-Reasoning/2021-Fall/L9.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Equisatisfiability
  • Tseitin encoding exemplifies this move: the encoded conjunctive-normal-form formula has a satisfying assignment if and only if the original formula does, although their signatures differ and they are not logically equivalent.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:38d1c65b1e84 · see in the full table