为了方便辨认，把cnf文件取名为k.v.c.cnf,例如，一个合取范式里有20个元素，40个子句，所以子句和元素的比例为2，这个文件名就为2.20.40.cnf。这些数据作为初步测试，测试结果的截图放在“第一步测试”文件夹中，测试结果表明，当k=2和3的时候，3SAT基本可解，但当k=4,5的时候，3SAT部分可解，当k=6的时候，3SAT基本不可解：结果如下：
上一篇：ASP.NET基于WCF的通用权限管理系统的设计与实现
下一篇：ASP.net+sqlserver在线留言板系统的设计与实现

公寓空调设计任务书

AT89C52单片机的超声波测距...

C#学校科研管理系统的设计

志愿者活动的调查问卷表

中国学术生态细节考察《...

承德市事业单位档案管理...

10万元能开儿童乐园吗，我...

神经外科重症监护病房患...

医院财务风险因素分析及管理措施【2367字】

国内外图像分割技术研究现状