Also known as Tseitin transformation
operation in Boolean circuit theory
In de logica is de Tseitin-transformatie (ook Tseitin-afgeleide genoemd) een manier om een propositie in lineaire tijd om te zetten naar een vervulbaarheidsequivalente propositie in conjunctieve normaalvorm. De Tseitin-transformatie kan bijvoorbeeld worden gebruikt bij het DPLL-algoritme en resolutie, bewijstechnieken in . De Tseitin-transformatie is vernoemd naar G.S. Tseitin die het publiceerde in 1968.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).