- siftformatlab 这是一个用MATLAB代码实现的一个关于图像的特征描述子的提取 以及相应特征点进行匹配的代码 可用于图像识别 或者立体匹配
- 200892814232138 双鱼林网店销售管理系统+ 想轻松管理你的网店客户信息吗? 想轻松统计每个月的销售情况吗? 想随时随意查询某个地区的销售情况吗? 双鱼林自己也在网上开了自己的网点
- jinzhi_change 实现了不同进制间的转换
- rsp_fleck_1.0.2_build0005 fleck os for wireless sensor networks
- Recorder 基于directshow技术实现的录音程序
- paretofrontier_branch2 非支配解的快速求解方法
文件名称:CNF_SAT
介绍说明--下载内容来自于网络,使用问题请自行百度
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。-this algorithm in polynomial time as a judge for the 2CNF formula can meet. The algorithm is an important issue.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
CNF_SAT.txt
www.dssz.com.txt
www.dssz.com.txt
1999-2046 搜珍网 All Rights Reserved.
本站作为网络服务提供者,仅为网络服务对象提供信息存储空间,仅对用户上载内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。