作者TommyKSHS (汤米)
看板EE_DSnP
标题[问题] 关於 sat solver 的用法
时间Sun Jan 16 17:04:07 2011
我想问的是：
当我们要证一个 fec pair 的时候
应该要 add 一个 XorCNF ( tmp, fec1, fec2 ) ？
然後 assume 这个 tmp 的 Var 是 true 吧？
那如果证完之後
再 assumeRelease
要证下一对 pair 时，上次 add 的 xorCNF 会影响到下一次证明的结果吗？
--
╭═══╤═══╮ ╰═╮ ╭═╯
│ │ │╭═和平，土地，面包═╮ │ │
│ ╭═╧╧╮╤═╤═╮═╤═╤╧╮ │ │
│ │ ││ │ │ │ │ │ ╰═╤═╯
│ │ ││ │ │ │ │ │ │
╰╧╯╰═══╯╰ ╰ ╰ ╰ ╰ ╰ ─╯
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.244.6