tseytin_transformation (193B)
1 # Tseytin transformation 2 3 https://en.wikipedia.org/wiki/Tseytin_transformation 4 5 Transform a [Boolean_circuit] into [equisatisfiable] [CNF], by adding some additional [variables] 6 7 Up: [circuit]
wiki_researchpersonal research wiki | |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |