Tseytin变换-一流百科

Tseytin变换

简介Tseytin变换，也可以写成Tseitin变换，把一个任意的组合逻辑电路作为输入，产生一个共轭正常形式（CNF）的布尔公式，可以用CNF-SAT求解器来解决。公式的...

词条百科