2013-11-29
来源:互联网 发布:jbl煲机软件 编辑:程序博客网 时间:2024/05/22 02:06
1、SAT problem(SATISFIABLITY problem)可满足问题
什么SAT问题;
SAT问题时历史上第一个被证明的NP-Complete问题,主要研究逻辑表达式是否满足。满足的含义是逻辑表达式是不是成立。阅读网址:http://blog.sina.com.cn/s/blog_3fe235d701015bi1.html
- 2013-11-29
- vsftp安装配置 [2013-11-29更新]
- 2013年11月29日
- 11-29
- 2013 results(29 Aug,2013)
- 2013-4-29
- 2013/05/29面试
- 2013-7-29
- 股评 2013-08-29
- 股评 2013-08-29
- 2013/7/29-----今
- P 2013-10-29
- 2013-12-29
- NYOJ-57-6174问题-2013年6月29日11:58:06
- NYOJ-57-6174问题-2013年6月29日11:28:02
- [每日一题] 11gOCP 1z0-053 :2013-09-29 Flashback Data Archive ...................................6
- (+)第120天的交易(2013-11-29)(+50)(65.52)
- 05/11/29
- POJ 1001 Exponentiation
- 黑马程序员C#中文件操作
- paramiko SSH 交互
- 通过chrome查看一个http请求的发起者。
- JVM垃圾收集器使用调查:CMS最受欢迎
- 2013-11-29
- nginx并发模型与traffic_server并发模型简单比较
- ios程序编译链接参数 all_load 的 ld duplicate symbol _main 的 bug及修复
- std::map中erase的正确用法
- typedef函数指针用法
- 资源分配问题(动态规划)
- UVa11384正整数序列(递归,二分)
- nginx进程模型
- C++.Experiment 4.Operator overloading(& date plus days)