登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • Pham_Van_project_summary_report
    项目工作总结报告范文,项目的前期市场调研总结等例子,对项目管理人员有帮助(Pham Van project summary report)
    2010-09-03 14:20:50下载
    积分:1
  • cordic
    cordic implementation by C
    2009-11-16 16:25:12下载
    积分:1
  • cprograming
    C++面向对象的程序设计语言书,易学易用,好理解。 (C++ object-oriented programming language book, easy to use, easy to understand.)
    2010-12-20 18:19:19下载
    积分:1
  • C++_Primer_3rd_Edition_perfect_CHI
    说明:  这是一部学习c++必看的经典教程 c++primer 中文第三版(This is a learning c++ Classic must-see tutorial c++ Primer Chinese third edition)
    2008-10-23 20:46:09下载
    积分:1
  • depth_image_analysis
    深度图像分析 [孙龙详 程义民 王以孝 孙启彬] 电子工业出版社(depth image analysis)
    2009-06-16 20:57:45下载
    积分:1
  • Newtons-method
    牛 顿 迭 代 法(Newton s method)
    2013-11-27 11:37:26下载
    积分: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
  • 16015315
    (1) 设计一个整数的补码类,有利于任意长整数的补码表示 及其运算; (2) 整数以十进制输入,对输入的数据要进行合法性检查; (3) 实现十进制数的补码转换、补码输出(输出格式为:每 8bit 一组,各组间以空格隔开)。 ((1) u8BBE u8BA1 u4E00 u4E2 u4E2 u657 u6570 u7654 u8865 u7801 u7C7B uFF0C u6709 u5229 u4E8E u4EFB u610F u657 U793A u53A u5136 u8F3 u8F3 u8F0 U5408 u6602 u03123 u03121 u8R03 U8F93 u51FA u683C u5F0F u4E3A uFF1A u6BCF 8bit u4E00 u7EC4 uFF0C u5404 u7EC4 u952F0 u4EE5 u7A7A u683C u9694 u5F00 uFF09 u3002)
    2017-05-20 11:22:37下载
    积分:1
  • C-program
    一些简单的c程序源代码 帮助初学者更好的了解C语言(Some simple C program source code to help beginners to better understand the C language)
    2013-11-28 19:50:41下载
    积分:1
  • VC2005
    VC++2005入门经典,经典的C++教程,PDF格式(Introduction to VC++2005 classic, the classic C++ Guide, PDF format)
    2020-06-25 23:40:01下载
    积分:1
  • 696518资源总数
  • 104287会员总数
  • 49今日下载