登录
首页 » Visual C++ » SAT

SAT

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

代码说明:

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

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

发表评论

0 个回复

  • MeansOfString
    c语言中字符串的处理,其中包含了各种针对字符串问题的处理方法以及库函数(c language string handling, which includes a variety of problems for string processing method and library functions)
    2013-08-31 08:57:26下载
    积分:1
  • c++时尚编程百例__81-110
    c++时尚编程百例__81-110(c++ fashional programing sample)
    2020-06-26 09:40:02下载
    积分:1
  • ADO
    本程序在VS平台下实现MFC对数据库进行相应操作(能实现数据库的增删查改),代码量少,特别适合于初学者学习,程序可在Visual C++ 6.0和VS2010以及VS2008 平台上使用!(MFC Visual C++ DataBase ADO)
    2014-05-22 21:56:12下载
    积分:1
  • FunctionPointerTutorial
    函数指针教程 html版本的(Function Pointer Tutorial)
    2010-02-22 03:17:03下载
    积分:1
  • final_code
    gsm coding for alarm system
    2010-08-07 22:19:37下载
    积分:1
  • mfc
    侯俊杰的一个关于学习MFC的教程,很好的教程(侯俊杰a tutorial on learning MFC, very good tutorial)
    2007-09-20 21:42:39下载
    积分:1
  • GNSS
    这本书延伸科学畅销书“全球定位系统 - 理论与实践”,以涵盖全球导航卫星系统(GNSS),包括俄罗斯GLONASS,欧洲伽利略系统,以及其他系统。书是指在一般意义到GNSS来描述各种现有参考系统的坐标和时间,卫星轨道,卫星信号,可观察,数学模型的定位,数据处理,和数据转换。本书是一本大学级入门教材,目的是作为学生的参考以及为专业人士和科学家在大地测量领域,测量工程,导航和相关学科。(This book extends the scientific bestseller GPS- Theory and Practice to cover Global Navigation Satellite Systems (GNSS) and includes the Russian GLONASS, the European system Galileo, and additional systems. The book refers to GNSS in the generic sense to describe the various existing reference systems for coordinates and time, the satellite orbits, the satellite signals, observables, mathematical models for positioning, data processing, and data transformation. This book is a university-level introductory textbook and is intended to serve as a reference for students as well as for professionals and scientists in the fields of geodesy, surveying engineering, navigation, and related disciplines.)
    2016-09-24 16:59:09下载
    积分:1
  • VC++6游戏编程
    VC++6游戏编程,有简单的示例。讲解挺详细的。(VC++6 game programming)
    2018-03-17 12:35:17下载
    积分:1
  • FATIGUE
    疲劳寿命预测,用于飞机结构的疲劳分析,用灰色及模糊理论(Fatigue life prediction for fatigue analysis of aircraft structure, with gray and fuzzy theory)
    2010-12-13 10:24:22下载
    积分:1
  • hilbert
    说明:  希尔伯特变换,用来求某一信号的相位。很好用的。(hilbert transform)
    2011-03-03 22:32:36下载
    积分:1
  • 696518资源总数
  • 106215会员总数
  • 5今日下载