2. 您的位置
3. 首页
4. 学位论文
5. 启发式将3-SAT化为2-SAT的DPLL算法

启发式将3-SAT化为2-SAT的DPLL算法

来源 :贵州大学 | 被引量 : 1次 | 上传用户：l420303622163com

【作 者】

：

徐德志 

【出 处】

：

贵州大学

【发表日期】

：

2008年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

游戏引擎中基于三维空间定位的交互式系统的实现

学位

MnSO4溶液的净化及制备电池级高纯硫酸锰网络首发

期刊

基于多Agent的多厂协同生产调度方法研究

学位

基于J2EE轻量级框架的敏捷型Web架构研究及应用

学位

高校学报稿件管理信息系统的设计与实现

学位

“金财工程”应用支撑平台研究与设计

学位

虹膜识别预处理算法研究

学位

基于SOA技术的网络考试系统架构的研究

学位

以小脑性共济失调为主要临床表现的神经白塞病

期刊

《中小学教师信息技术应用能力标准（试行）》政策效果研究——以河南省乡镇中学为例

学位