登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • C_xcorr
    使用c语言实现信号自相关,有文件输入输出函数使用(Use c language auto-correlation signal has the file input and output functions use)
    2016-05-10 15:14:14下载
    积分:1
  • tututu
    用C语言编写的图基于邻接表的深度遍历和广度遍历,可从不同的接点出发遍历(With the C language based on the adjacency list graph traversal of the depth and breadth of traversal can be traversed starting from a different contact)
    2010-03-02 08:50:56下载
    积分:1
  • 001
    第一个c程序 非常有用的第一步 请多多指教(the first one)
    2010-05-15 11:16:07下载
    积分:1
  • Chapter20
    适合初学者的vc++程序,能有效地在短时间内提高自己的编程能力(Suitable for beginners vc++ procedures, can effectively improve their programming ability in a short time )
    2014-03-10 14:30:52下载
    积分:1
  • Beginning-Visual C++ (2013, Apress)
    说明:  比较好的VC++教程,英文电子版,没有任何水印,便于阅读(Better VC++ tutorial, English electronic version, without any watermarking, easy to read)
    2020-06-23 02:00:02下载
    积分:1
  • Cexample
    经典的C语言小程序220例,想学习C语言的拿来练手很好(The classic C language applet 220 cases, want to learn C language used to practice good hand)
    2013-11-24 23:09:50下载
    积分:1
  • VcPP--zip.
    关于C语言中运算符和关系表达式的内容,及各式例题(Content on the C language operators and relational expressions, and various examples)
    2014-03-27 13:26:35下载
    积分:1
  • selsolutionsc5
    《C Primer Plus(第五版)中文版》的课后练习源代码(C Primer Plus (Fifth Edition) Chinese version of source code for after-school practice)
    2010-06-17 17:44:47下载
    积分:1
  • Quickref
    Old, but very good "look-it-up" book for programming in VC++ MFC, brief and straight-to-the-point. I found it rather useful. Excellent for beginners.
    2009-06-24 00:31:29下载
    积分:1
  • Kalman-Filtering-Applications
    说明:  电子教材:Kalman Filtering with Real-Time Applications (2010)(Kalman Filtering with Real-Time Applications (2010))
    2011-03-28 09:26:08下载
    积分:1
  • 696518资源总数
  • 105717会员总数
  • 10今日下载