登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • 高质量C++/C编程指南
    说明:  软件质量是被大多数程序员挂在嘴上而不是放在心上的东西! 除了完全外行和真正的编程高手外,初读本书,你最先的感受将是惊慌:“哇!我以前捏造的C++/C程序怎么会有那么多的毛病?” 别难过,作者只不过比你早几年、多几次惊慌而已。 请花一两个小时认真阅读这本百页经书,你将会获益匪浅,这是前面N-1个读者的建议。(Software quality is the majority of programmers have paid lip service rather than the heart! In addition to being a complete layman and a real master of programming, your first reading of the book will be a panic: "Wow! How can I have so many problems with the C++/C program I've made up before?" Don't be sad, the author is only a few years and a few times earlier than you panic. Please spend one or two hours reading this 100 pages of Scripture carefully, and you will benefit a lot from it. This is a suggestion from the previous N-1 readers.)
    2017-06-13 15:49:09下载
    积分:1
  • 2chashu
    数据结构课程设计平衡二叉数的生成 对于学习vc非常有帮助(Data Structure course design balanced binary number is generated is very helpful for learning vc)
    2010-01-09 10:53:04下载
    积分:1
  • jishiqi1
    使用C++实现的小程序。计时器单位转换。输入为整型数单位为秒,输出格式为DDD:HH:MM:SS的时间。华为机试。(Use C++ achieve applet. Timer unit conversion. Enter an integer number of seconds, the output format is DDD: HH: MM: SS time. Huawei machine again.)
    2013-12-06 09:48:52下载
    积分:1
  • 点过咯这
    说明:  dian guo lo zhe,cao,hello word
    2019-05-09 20:25:10下载
    积分:1
  • Camshift
    CAMSHIFT的多目标跟踪isMHI结合CAMSHIFT的多目标跟踪(CAMSHIFT的多目标跟踪)
    2010-09-13 15:57:58下载
    积分:1
  • 5080309348_2_6
    大学生必备C++练习题6,顺序表类,内容丰富,代码完整可用(Students must have C++ Exercise 6, the order table class, rich content, code integrity can be)
    2010-12-11 10:30:40下载
    积分:1
  • 5080309348_2_4
    大学生必备C++练习题2,图形类,继承,内容丰富,代码完整可用(Students must have C++ exercises 2, graphics, classes, inheritance, content-rich, complete code is available)
    2010-12-11 10:29:27下载
    积分:1
  • 1947.Roswell.UFO.crash.related.news.section
    1947年罗斯威尔飞碟坠毁事件相关报道 内容根据个人自述和会谈记录的提供者 Matilda O Donnell MacElroy (马蒂尔达·欧’丹奈尔·马克艾罗伊) (英文)编辑整理 Lawrence R. Spencer (劳伦斯·斯宾塞) 主体部分内容摘录、翻译、编辑 一个中国人 第 2(1947 Roswell UFO crash reports related to the contents of records under the Personal Statement and talks provider Matilda O' Donnell MacElroy (martir Daou ' 丹奈尔马克Yiluo Yi) (English) edited by Lawrence R. Spencer (Lawrence Spencer) of the main part of the extract, translation, editing a Chinese 2)
    2010-10-17 22:13:25下载
    积分:1
  • ImageProcessingpro
    本软件是图象处理软件,能对图象进行简单的处理,如中值滤波、二值化变换、亮度增减、傅立叶变换、反色、取对数等(software is the image processing software, the images can be simple, such as the filter, two values of transformation, Brightness changes, Fourier transform, anti-Israel, and so on, from right)
    2006-08-31 16:55:56下载
    积分:1
  • aybook.cn_wanzhemfdc0331
    mfc深入浅出,挺好的,大家可以看看,希望能和大家交流一下(mfc easy, very good, and everyone can see the hope and the U.S. exchange)
    2008-08-14 18:47:30下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载