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