作者ric2k1 (Ric)
看板EE_DSnP
標題[討論] To SAT or not to SAT?
時間Mon Jan 17 12:00:43 2011
提醒一下，免得有人做錯:
使用 SAT 時是要得到 UNSAT (i.e. assumeSolve() return false) 才能化簡電路哦!
如果你的到的是 SAT，你只能拿它產生的 assignment (by int getValue(Var v))
去 refine 你的 FEC groups (by more simulations)!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.36.62.203