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

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

于 2023-04-14 发布 文件大小:15.53 kB
0 317
下载积分: 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 个回复

  • c#实现voronoi
    c#实现voronoi,可以按自己要求自动的生成相应点对应的voronoi,使读者可以更加清楚的了解voronoi和Delaunay三角网,使用户的体验更加的直接。
    2023-02-06 08:20:03下载
    积分:1
  • 线形规划小程序,用matlab语言编写的,可以解决线形规划书籍中的大部分线形规划实例。是matlab的m文件。...
    线形规划小程序,用matlab语言编写的,可以解决线形规划书籍中的大部分线形规划实例。是matlab的m文件。-Linear programming small programs, using matlab language, and can solve the linear programming books, most of the linear programming instances. Is the matlab m-file.
    2022-01-25 22:29:58下载
    积分:1
  • 聚类分析的for程序集
    聚类分析的for程序集-cluster analysis procedures for the collection
    2022-06-20 22:32:51下载
    积分:1
  • 回溯工作分配
    利用Java实现回溯法工作分配,作业程序,写的简单清楚,分享下供大家借鉴。问题为:工作分配问题。设有 n 件工作需要分配给 n 个人去完成。将工作 i 分配 给第 j 个人完成所需要的费用为 cij。试设计一个算法,为每一个人分配一件不 同的工作,并使总费用达到最小。                                                         
    2022-02-26 04:18:15下载
    积分:1
  • 2004全国大学生数学建模大赛,获奖论文
    2004全国大学生数学建模大赛,获奖论文-2004 National Undergraduate Mathematical Modeling Contest, winning papers
    2023-06-24 22:30:05下载
    积分:1
  • 得到midi文件的源码
    得到midi文件的源码 可以获取MIDI的文件啊!
    2022-01-26 08:20:30下载
    积分:1
  • LTE 空中接口协议和 Tx/Rx
    OpenLTE 是 3GPP LTE 规格的开源实现。它可以用 GNU 收音机与许多特别提款权 HW (USRP,RTL SDR,UMD)。LTE 空中接口协议和协议的研究。它最终将帮助您构建自己的 LTE 基站。
    2022-02-20 16:15:07下载
    积分:1
  • 自由始端和终端的动态规划,求指标函数最小值的逆序递归。...
    自由始端和终端的动态规划,求指标函数最小值的逆序算法递归。-The free end of the beginning and end dynamic programming, the minimum value of the reverse index function request recursive algorithm.
    2022-08-26 08:23:31下载
    积分:1
  • CUDA SDK示例代码
    文件中包含有三个CUDA的SDK示例代码,分别为cudaEncode,cudaDecodeGL,cudaDecodeD3d9,三个代码分别讲述了CUDA环境下调用编码库对YUV文件进行编码,和解码部分与OpenGL,D3D9的转化,代码内容简单,很适合初学者学习。
    2022-03-09 09:56:31下载
    积分:1
  • Discrete-Continuous Optimization for Multi-Target Tracking
    A matlab program for  multi-target tracking,The problem of multi-target tracking is comprised of two distinct, but tightly coupled challenges: (i) the naturally discrete problem of data association, i.e. assigning image observations to the appropriate target; (ii) the naturally continuous problem of trajectory estimation, i.e. recovering the trajectories of all targets. To go beyond simple greedy solutions for data association, recent approaches often
    2023-01-02 11:40:18下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载