登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • Sams.Programming.in.C.Jul.2003
    c++入门经典书籍,特别适合初学者学习,国外教材。(The beginning of c programming.)
    2014-02-17 11:38:07下载
    积分:1
  • Sams.Programming.in.C.Jul.2003
    c++入门经典书籍,特别适合初学者学习,国外教材。(The beginning of c programming.)
    2014-02-17 11:38:07下载
    积分:1
  • VCclassicbook
    VC学习的经典教材,对于VC的基础基础知识和应用讲解深入浅出,对于初学者和应用者都具有很好的价值。(VC classical learning materials, the basis for the VC application on the basis of knowledge and easy, for beginners and applications are an excellent value.)
    2008-12-13 15:10:24下载
    积分:1
  • c
    说明:  c++教案.rar - RAR 压缩文件, 解包大小为 1,174,016 字节(c++ lesson plans. rar- RAR compressed files, unpack size is 1,174,016 bytes)
    2010-11-11 23:03:23下载
    积分:1
  • VC++显示倾斜文字
    VC++编写的如何显示倾斜文字(VC show how prepared the text tilt)
    2005-03-09 10:12:46下载
    积分:1
  • 900-cases-of-classic-programming
    经典编程900例(C语言),学习编程基础的好资料。(900 cases of classic programming (C language))
    2009-05-09 16:07:34下载
    积分:1
  • ldpc
    说明:  LDPC 编码算法  基于LU的校验矩阵编码方法(LDPC coding algorithm based on LU checksum matrix encoding method)
    2008-12-02 12:56:35下载
    积分:1
  • UdpClient
    这是一个关于UDP客户端的代码,是用WINSOCHET编写的(This is a study on UDP client code is written WINSOCHET)
    2008-04-05 20:13:30下载
    积分:1
  • 20091016
    利用VC语言,通过双线性插值来实现图像的放大操作(By bilinear interpolation to achieve the image to zoom)
    2009-10-18 14:19:22下载
    积分:1
  • 217
    说明:  用c语言完成(2,1,7)卷积编码,viterbi解码(Complete with c language (2,1,7) convolutional coding, viterbi decoding)
    2010-04-28 22:11:44下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载