登录
首页 » Visual C++ » SAT

SAT

于 2010-11-06 发布 文件大小:712KB
0 177
下载积分: 1 下载次数: 23

代码说明:

  sat的合取范式与析取范式的可满足问题()(sat in the CNF and DNF of the satisfiability problem ())

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

发表评论

0 个回复

  • ComplexT
    说明:  复化梯形公式,数值计算。This the main application source file(Minute trapezoid formula, numerical calculation. This is the main application source file)
    2005-10-20 11:04:41下载
    积分:1
  • NC-Programming-Courseware-entry
    数控编程基础入门课件(本人非编程人员,但真心恳求得到一个下载个数)(NC Programming Courseware entry)
    2014-05-21 08:49:04下载
    积分:1
  • vc
    说明:  实效编程百例,包含了用vc开发的各方面的源代码。(100 cases of the effectiveness of programming, including using vc development of all aspects of the source code.)
    2008-09-13 17:33:29下载
    积分:1
  • the_program_for_editing_regedit
    一个利用VC++开发环境开发的可以编辑注册表的程序源代码!(A use of VC++ development environment developed to edit the registry source code!)
    2009-03-04 19:17:11下载
    积分:1
  • vc++6.0Socket
    这是一本网上很流行的介绍vc++网络编程的电子书,里面的内容很详细!大家要好好学习啊 !(This is a very popular online introduction vc++ Network programming e-books, which detail the content! Everyone to study hard ah!)
    2020-06-26 03:40:02下载
    积分:1
  • rr
    说明:  该文章主要讲了如何将一维数组作为形参传递给函数(The passage about how the one-dimensional array as a parameter passed to the function)
    2010-12-08 21:03:32下载
    积分:1
  • sdk
    海康SDK包,非常好用,里面他的流程写的很详细,你二次开发的时候可以完全参照他上面的写,谢谢。(sdk)
    2010-10-16 23:04:32下载
    积分:1
  • FATIGUE
    疲劳寿命预测,用于飞机结构的疲劳分析,用灰色及模糊理论(Fatigue life prediction for fatigue analysis of aircraft structure, with gray and fuzzy theory)
    2010-12-13 10:24:22下载
    积分:1
  • load
    ansys车辆移动荷载命令流,方便直接输入(ansys vehicle moving load command stream, convenient and direct input)
    2016-01-15 21:45:00下载
    积分:1
  • vc++技术内幕源码
    vc++技术内幕源码.zip(vc insider source technology. Zip)
    2004-11-26 17:20:46下载
    积分:1
  • 696518资源总数
  • 106161会员总数
  • 5今日下载