登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • sfilterFCB
    说明:  传说中的双fcb+虚拟文件系统架构的文件透明加解密 ,代码比较生硬 .(The legendary double-fcb+ file virtual file system architecture transparent encryption and decryption, code comparison blunt.)
    2011-03-06 16:02:37下载
    积分:1
  • 1
    说明:  In c++ risks is a reference to a variable which exists i.e. one 2nd name for the same variable. This program is broken up into functions.露the function hand constitutes the entrance point of the program, firstly there is the function message which us affiche hello , and the second function produced 露procedure affich_calcul, one declared the prototype and one it definite after one made the call has this function.
    2009-03-31 00:40:15下载
    积分:1
  • cordic
    cordic implementation by C
    2009-11-16 16:25:12下载
    积分:1
  • Exceptional C++中文版
    Exceptional C++书籍,质量特别好,有利于C转C++,而且中文版有利于英语不是很好的人阅读(Exceptional C++ books, the quality is particularly good, is conducive to C to C++, and the Chinese version is conducive to English is not very good people reading)
    2017-11-17 15:59:00下载
    积分:1
  • VC++dryandexganple
    一款非常好的VC学习实例教程,在提高技能方面有非常明显的工效。(A very good example of VC learning curricula, in enhancing the skills of the work efficiency is very obvious.)
    2007-12-17 20:21:09下载
    积分:1
  • BCG
    BCG 的使用说明 时做出的系统有一个漂亮的界面(BCG instructions for use of the system when you make a nice interface)
    2009-12-20 15:26:14下载
    积分:1
  • CPPCodingStandard
    pdf版 电子书 C++CodingStandard.pdf 分享分享 欢迎分享下载(pdf version of the book C++ CodingStandard.pdf Share welcome)
    2011-12-05 20:08:24下载
    积分:1
  • 程序设计课程设计综合设计2二简章的计算器
    简单编程给需要的人,VC做的计算器。还有说明(simple programming to the people in need, VC done calculator. Also note)
    2005-08-18 13:34:18下载
    积分:1
  • c-language-commonly-used-algorithm
    c语言常用算法(总结了很多数学,工程应用算法)(c language commonly used algorithm (summed up a lot of math, engineering algorithms))
    2014-02-22 14:58:20下载
    积分:1
  • cPPFunction_Librialy
    说明:  c++语言的很多函数都在这本书里面涉及到了,学习本书可以让你在c++编程上可以更好地利用函数库(c++ language, many functions are in this book relate to the learning book allows you to c++ programming can make better use of library)
    2010-04-01 17:43:49下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载