登录
首页 » 算法 » walksat 找到一种令人满意的 cnf 公式模型

walksat 找到一种令人满意的 cnf 公式模型

于 2023-04-14 发布 文件大小:15.53 kB
0 31
下载积分: 2 下载次数: 1

代码说明:

Walksat 规格 Walksat 试图找到一种令人满意的 cnf 公式模型。 格式是.cnf 格式: c 在文件的开头的可选注释。 c"p"行指定 cnf 格式、 编号 var、 数字通则 c 变量的编号从 1 开始的 c 每个子句结束与 0 p cnf 3 2 1-3 0 2 3-1 0 Walksat 读取从标准中 (或从作为命令指定的文件 线参数) 并将写入到标准输出 (和标准错误)。 到 获取的命令行选项,类型列表 walksat-帮助 (或其他任何非法的选项)。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • IAPWS-IF95水物性程序
    这个是水物性程序,希望能帮助大家。有关于水物性的计算都可以通过fortran调用。记得要使用cvf版本的fortran
    2022-01-25 21:29:01下载
    积分:1
  • 膜计启发遗传
    膜计算是一种新的计算机科学领域的自然计算了在十年前gh.about保恩。P系统,因为它有时被称为,有一些固有的所包括的沟通能力和并行性的优势。膜计算使用一定的规则来操作。在这项工作中,简单介绍了amembrane启发更好绩效是遗传算法。工作探讨膜计算的并行性优势。通信
    2023-02-23 13:40:03下载
    积分:1
  • 数据结构C语言
    资源描述数据结构、算法分析的一些程序编写,对初学者很有帮助,有助于加深理解进一步学习数据结构相关的内容。
    2022-07-26 05:56:48下载
    积分:1
  • 校园巡逻机器人定位与避障技术研究
    资源描述(1)针对校园环境范围大、结构简单的特点,结合RFID传感器信息传递 功能,提出一种大范围拓扑环境学习与建模新方法。根据校园环境上下文信息 需求,设计RFID标签格式,指导机器人进行环境学习,且以标签的分布代表 环境整体结构,由标签内容传递导航任务,由此构建环境模型。 (2)针对激光数据存在噪声干扰的问题,设计了一种动态自适应中值滤 波方法,利用激光数据时间和空间上的相关性,剔除噪声干扰,平滑激光数据。
    2022-01-22 08:31:21下载
    积分:1
  • a calculation of two pools and a small collection procedures
    一个计算两个集合的并集的小程序-a calculation of two pools and a small collection procedures
    2022-06-21 22:41:11下载
    积分:1
  • 该代码是“常用的计机数值和程序的程序。
    本代码是《计算机常用数值计算算法与程序 C++版》一书的配套插值代码,这些C++程序已经在Virsual C++ 6.0环境下通过。注意,在VC++ 6.0中设置好路径,特别是include目录(文件夹)的路径,否则在编译时会出现找不到头文件的错误,使编译无法正常进行。-the code is "commonly used computer numerical algorithms and procedures C version," a book supporting interpolation code, these procedures have been in C C 6.0 Virsual environment through. The attention of the VC 6.0 installed path, in particular include directory (folder) path, otherwise there will be compiled header files could not find the mistakes and the compiler not normal.
    2022-02-20 20:20:19下载
    积分:1
  • This algorithm was developed by Professor Ronald L. Rivest of MIT and can be fou
    This algorithm was developed by Professor Ronald L. Rivest of MIT and can be found presented in several languages. What I provide to you here is a C++ derivative of the original C implementation of Professor Rivets. The library code itself is platform-independant and has been tested in Redhat Linux. I ve included the sample code and makefile that I used for the Linux test. The demo, however, was written with Visual C++ 6 on a Windows 2000 platform.-This algorithm was developed by Professor Ronald L. Rivest of MIT and can be found presented in several languages. What I provide to you here is a C derivative of the original C implementation of Professor Rivets. The library code itself is platform-independant and has been tested in Redhat Linux. I ve included the sample code and makefile that I used for the Linux test. The demo, however, was written with Visual C 6 on a Windows 2,000 platform.
    2022-01-27 12:21:27下载
    积分:1
  • 集回归计、检验、方程输出为一体的逐步回归源码分享
    这是我自己编写的一个完整的实现逐步回归算法的模块,只要给定数据文件、检验信度和输出文件,一切中间过程和最后回归结果都清晰可见,最大特点是自动计算出检验信度值,避免了信度查表和手工输入的麻烦,值的拥有!压缩包内含有调用实例,用户使用非常方便。
    2022-08-21 21:24:28下载
    积分:1
  • 标准PSO 2011版
    一个可作为标准的PSO算法C语言程序,2011版。可读性极其高,这也是牺牲了一小点性能换取而来的。借鉴了众多权威人士的工作,得到了他们之中许多人的意见。
    2022-04-14 17:02:11下载
    积分:1
  • x 509 证书解析程序
    实现证书的生成和验证,可编译成类库形式,需要openssl支
    2022-05-05 20:10:22下载
    积分:1
  • 696524资源总数
  • 103838会员总数
  • 43今日下载