3SAT问题测试用例

【文件属性】：
文件名称：3SAT问题测试用例
文件大小：2KB
文件格式：TXT
更新时间：2018-07-01 03:37:31
3SAT问题 测试用例 可满足性问题： 1. m=3(变元的个数),n=5(子句的个数),l=3(子句的长度), 3-5-3.txt: 1 -2 3 0 1 -2 -3 0 1 2 -3 0 1 2 3 0 -1 2 3 0 其中文件表示如下合取范式： cnf=(p1并(P2的非)并p3)交(p1并(P2的非)并(p3的非))交(p1并P2并(p3的非))交(p1并P2并p3)交((p1的非)并P2并p3)