论文部分内容阅读
DP算法是求解SAT问题的最有效完全算法之一,论文分析和讨论了DP算法中的各种分枝文字策略.并基于对不满足解数估计的方法,提出了一个有效的分枝文字策略.实验结果表明,提出的改进DP算法对难SAT实例有较好的平均性能.
一种求解难SAT问题的改进DP算法
【摘 要】
：
DP算法是求解SAT问题的最有效完全算法之一,论文分析和讨论了DP算法中的各种分枝文字策略.并基于对不满足解数估计的方法,提出了一个有效的分枝文字策略.实验结果表明,提出的
【机 构】
：
国家高性能计算中心(合肥)中国科学技术大学计算机科学技术系
【出 处】
：
中国科学技术大学学报
【发表日期】
：
2004年期
【基金项目】
：
国家重点基础研究发展计划(973计划);
其他文献
研究了在甲酸为自催化剂的条件下,甲酸甲酯与水进行水解反应,考察了反应温度、水酯比、反应时间等对水解反应的影响,并用正交实验方法确定了水解反应的适宜工艺条件.并确立了
本文构筑的适应型模糊神经网络模型实现了神经网络的学习训练能力、模糊逻辑系统的仿人推理功能以及匹配寻踪的适应性技术的结合。以其对具有不确定性特征的机器视觉目标图像进行辨识处理,取得良好效果。
结合低渗气藏的地质特征 ,并通过气层潜在性损害因素的分析对比 ,深入调查研究了低渗气藏在气层打开后产生损害的特点和损害机理 ,并对损害程度定量化进行了探讨 .研究结果表
研究了低渗透油藏低速非达西径向流的动边界问题,给出了高精度的积分解,分析了启动压力梯度对压力分布的影响,发现启动压力梯度越大,井底附近压力下降越快,外边界传播越慢.
基于纬纱单元图像,运用相关分析方法,首先求得纬纱循环数、同类纬纱单元图像,然后对同类纬纱单元图像进行经向亮度分析,再经二值化处理和中值滤波,便可确定经纱的位置和经纱
提出了用一阶导数分光光度法测定铝材着色槽液中微量铝的方法,结果表明,在pH5.0～7.0之间,乳化剂OP存在下,Al与铬天青S(CAS)形成稳定络合物,测定633.0nm处的导数值,选择性大为
数控加工是自由曲面高质量和高效率的加工方法，生成无干涉过切刀具轨迹是自由曲面数控加工技术的关键。随着高速加工技术的发展，高速机床生成的刀具轨迹越来越受到重视。本文综
论述了调优系统的原理和功能 ,给出了系统的设计思路和实现方法
The principle and function of the tuning system are discussed, and the design ideas and methods of t