[討論] To SAT or not to SAT?

[ric2k1 (Ric)]

提醒一下，免得有人做錯:


使用 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