开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 数值算法/人工智能
SAT.rar
文件大小： 564k
下载次数：9
源码类别：

数值算法/人工智能

开发平台：

C++ Builder

源码售价： 5 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
最新本分类资源
    
  • Bayer.rar基于Bayer彩色滤波阵列插值算法的研究，原本为收费文档。
  • BCMATH.rar// 《用C++语言编写数学常用算法（修订版）》Borland C++程序的源代码 ...
  • java.rarpublic class BubbleSort{ static String printArray(int[] a){ String result="" ...
  • asdf.rar用C语言编写的程序，多维数组按列相加,可以得到必要的结果
  • TRIAN_REPLACE.rar列火车要将n节车厢分别送往n个车站车站按1~n的次序编号，火车按照n, n-1,…, 1的编号 ...
  • lx.rar背包问题,回溯算法，用VB描述的材料，源程序十分详细
  • 1.rar一本对ACM国际大学生程序设计竞赛试题与解析，深入浅出
  • kalman_filter.rar可以实现kalman滤波的c++代码，函数部分采取了简化处理，输入不一改动昂 ...
  • 895.rarn个野人n个传教士过河问题的代码，文件输出结果
  • acm1.rarabove average acm大赛题目。有待改进。
本类热门下载