- java3d-1_4_0-doc Java开发中的Java3Dapi文档 是rar格式的
- River 人鬼过河问题的通用解法
- Prediction-of-thermal-in-transfo-oil-and-high-vol Prediction of thermal ageing in transformer oil and high voltage PVC cables using artificial neural Networks
- CnCharacterConvert 软件名称: 中文字符简繁转化工具 软件版本: v1.0.0.2 版权声明: 版权所有 (C) 2010 THTK INFO
- rough-set 图像场景分类中视觉词包分类的应用与操作代码
- Robot moviles Anibal Ollero Anibal Ollero "Robots moviles" Book
文件名称:PKU-PS_3683-2-sat
-
所属分类:
- 标签属性:
- 上传时间:2012-11-16
-
文件大小:21.04kb
-
已下载:0次
-
提 供 者:
-
相关连接:无下载说明:别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容来自于网络,使用问题请自行百度
解决3sat经典问题的模板算法,可随问题的文法少做变更即可-the template for 2-SAT
(系统自动生成,下载前可以参看下载内容)
下载文件列表
PKU PS_3683 2-sat.docx
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.