文件名称:sat_problem
介绍说明－－下载内容均来自于网络，请自行研究使用
这是算法中关于SAT问题的解决方法,希望对你有帮助,-This the algorithm on the SAT the solution to the problem, and I hope to help you, thank you
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 57578861sat_problem.rar 列表 sat\SAT.CPP sat\sat.doc sat