|||
用子句标志消去法可以一次性求出SAT的全部满足解。这里我设计了一个在计算机资源能够满足的个人电脑上求出SAT全部解的小程序。你可以通过系统菜单的“子句集”一项,任意设计你的SAT,然后通过“再执行”得到SAT的全部解。说明书在安装文件夹当中。
姜咏江
附件: (为何不能插入?3.5M不行吗?莫名其妙,换一个电脑行了。)
2016-10-18
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-12-22 09:34
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社