作者tellux (寒川凝步)
看板NTUGIEE_EDA
标题LSV HW3
时间Sun Oct 23 17:43:13 2005
第二题那个conflict-based learning要怎麽写阿
老师的投影片看得不是很懂
那个CNF是不是无法satisfiable呢
计算过程要怎麽表示，写出learned clause吗
我的是
a'+b'
a'+b
a'
b'+c'
b'
c'
觉得好像不太对...
--
自信是好事，但不一定能成事。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.48.60