没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
试读
5页
可满足性问题: 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)
资源推荐
资源详情
资源评论
30 129
22 18 14 0
-14 21 -8 0
-22 -15 16 0
-3 18 -23 0
12 -30 24 0
-24 -19 -6 0
1 -13 -8 0
7 -29 -30 0
21 26 -2 0
-17 -3 2 0
-14 23 4 0
-11 23 10 0
-17 -16 18 0
-10 -22 -29 0
-8 29 -3 0
20 -18 1 0
23 -20 5 0
-3 13 29 0
-13 -17 -28 0
3 -21 30 0
30 -14 7 0
10 -21 -16 0
15 6 -20 0
11 21 15 0
18 13 -19 0
12 4 -28 0
-12 -27 26 0
25 -30 -10 0
15 18 5 0
22 18 14 0
-14 21 -8 0
-22 -15 16 0
-3 18 -23 0
12 -30 24 0
-24 -19 -6 0
1 -13 -8 0
7 -29 -30 0
21 26 -2 0
-17 -3 2 0
-14 23 4 0
-11 23 10 0
-17 -16 18 0
-10 -22 -29 0
-8 29 -3 0
20 -18 1 0
23 -20 5 0
-3 13 29 0
-13 -17 -28 0
3 -21 30 0
30 -14 7 0
10 -21 -16 0
15 6 -20 0
11 21 15 0
18 13 -19 0
12 4 -28 0
-12 -27 26 0
25 -30 -10 0
15 18 5 0
资源评论
- aabeh2015-12-04不错。。就是只有一个测试数据。。。
- qq_366442152016-11-14能不能多发点测试例子呢?
- jxg232016-09-01不错,挺好的
牧之丶
- 粉丝: 290
- 资源: 15
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功