walksat 找到一种令人满意的 cnf 公式模型
2016-08-23
1 0 0
暂无评分
其他
如何获取积分?
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-帮助 (或其他任何非法的选项)。
c
walksat
令人满意
CNF
公式
模型
相关源码推荐
pclite
0
0
暂无评分
通用嵌入式FTP客户端
0
0
暂无评分
UDP测试演示
0
0
暂无评分
TMS320F28335 DSP通过SPI 方式与EEPROM 传输数据
0
0
暂无评分
TMS320F28335 CAN通信源码
0
0
暂无评分
暂无评论