登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • heikeyuhuajia
    黑客与画家,高清扫描版pdf,中文版,是一本不错的计算机专业书籍(Hackers and Painters, HD scan version pdf, Chinese version, is a good computer science books)
    2016-04-07 16:21:15下载
    积分:1
  • Newnes.Programming.32-bit.Microcontrollers.in.C
    This is ebook good for you about Programming 32-bit Microcontroller
    2009-07-19 20:02:25下载
    积分:1
  • ColorFont
    Color Wizard in visual c++ for beginners
    2011-06-25 01:47:03下载
    积分:1
  • IDA-plugin-wirting(all-chapter)
    交互式反编译工具ida pro 插件编写英文手册(Interactive decompile ida pro tools plug-in English-language manual)
    2020-07-02 16:00:02下载
    积分:1
  • CPPrumen
    说明:  C++入门到精通,一本蛮不错的书,我看完以后觉得收获挺大的,希望大家会喜欢(C++ entry to the master, a very good book, I read, I felt the big harvest, we hope you like)
    2011-03-02 19:35:14下载
    积分:1
  • 02-Qt-Designer-application
    Qt Designer应用东软培训资料,对初学者很有用。这是第二部分。(Qt Designer application Neusoft training materials, useful for beginners. This is the second part.)
    2013-07-29 09:14:21下载
    积分:1
  • ahuqx
    有小波分析的盲信号处理,课程设计时编写的matlab程序代码,用于时频分析算法。( There Wavelet Analysis Blind Signal Processing, Course designed to prepare the matlab program code, For time-frequency analysis algorithm.)
    2017-05-08 14:51:24下载
    积分:1
  • hilbert
    说明:  希尔伯特变换,用来求某一信号的相位。很好用的。(hilbert transform)
    2011-03-03 22:32:36下载
    积分:1
  • c
    说明:  关于C++基础知识,献给刚开始接触程序编辑,以及计算机编程(C++ based on the knowledge, access to programs dedicated to the beginning of editing, and computer programming)
    2010-07-05 00:05:40下载
    积分:1
  • C-language-comprehensive-training
    C语言综合训练,包含文件调用、添加还有一些汇总统计等(C language integrated training, including file calls, add some summary statistics)
    2014-01-02 15:42:40下载
    积分:1
  • 696518资源总数
  • 104388会员总数
  • 18今日下载