LSV HW3

[tellux (寒川凝步)]

 第二題那個conflict-based learning要怎麼寫阿
 老師的投影片看得不是很懂
 那個CNF是不是無法satisfiable呢

 計算過程要怎麼表示，寫出learned clause嗎
 我的是
 a'+b'
 a'+b
 a'
 b'+c'
 b'
 c'
 覺得好像不太對...

--

 自信是好事，但不一定能成事。



--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.48.60