作者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