Equisatisfiability and Tseitin’s Transformation

University of Washington. (2023). Equisatisfiability and Tseitin’s Transformation.

Type

Web resource

Intellectual base

Web

Year

2023

Link

https://courses.cs.washington.edu/courses/cse507/23au/doc/L03.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:a65897e9bb14 · see in the full table