论文部分内容阅读
对SAT问题及其各种约束子问题进行分类并给出具体定义，着重介绍常规SAT问题、最大可满足性问题（MAX—SAT）和参数化SAT问题的相关算法，并对参数算法中运用的技术进行分析和比较，提出一些SAT问题研究中值得关注的几个方面。
可满足性问题的研究综述
【摘 要】
：
对SAT问题及其各种约束子问题进行分类并给出具体定义，着重介绍常规SAT问题、最大可满足性问题（MAX—SAT）和参数化SAT问题的相关算法，并对参数算法中运用的技术进行分析和比较，提
【机 构】
：
中南大学信息科学与工程学院
【出 处】
：
计算技术与自动化
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金项目（60773111）,国家973前期研究专项资金项目（2008CB317107）,国家教育部创新团队资助计划项目（IRT0661）
其他文献
服务于电视传媒运营的内容整序和信息增值服务是传媒产业链上至关重要而又缺失较为严重的一环,成长的潜力和空间非常巨大.电视内容整序和信息增值服务,带来的是一种增值利润,
用极端法处理一些物理问题,不仅可以迅速得出结论,有时还可以对物理过程的特征作出判断,检验定量结果的正确性也是很简便的。
在高三复习过程中，常用到三角函数的有界性求值域(|sinx|≤1，|cosx|≤1)，对含有正弦函数、余弦函数的有理式f(sinx，cosx)就更常见了。一般可归为如下两种形式：(1)y=asinx+bcosx，(Ⅱ
在人，车和路集成的复杂系统进行建模和控制中，人模块一直是难点所在，本文通过对一各模糊神经网络驾驶员的安全因素进行识别，取得了满意的结果，对轿车行驶的主动安全性研究有一定积
[抓纲靠本,把握复习方向] 高考数学试题在稳定中力求发展和创新,但万变不离其宗:教学大纲、考试说明、教材。复习伊始,必须吃透大纲,深钻《说明》,用好教材。首先,我们对照本
计算机教学中要求学生熟练使用“五笔字型”输入法输入汉字,但对大多数非专业人员打字来讲,去背字根、拆字似有一定困难,而使用拼音法输入呢?一是要求标准的普通话读音,二是
镜头边界检测是进行视频内容分析的首要步骤。本文提出一种新的基于梯度向量角的镜头边界检测方法。首先进行小波变换,提取第二层分解的低频系数,再求出梯度系数,然后计算连续帧梯度系数之间的绝对距离,得到两帧之间的不连续值,最后采用自适应阈值分割,检测出镜头边界。
本文研究了采用工作流管理系统机制的人才资源评估信息化方法,研制了人才评估信息系统.该系统是集人才)评估业务管理、原始数据收集、评估业务承办、报表分析于一体的人才评
分布计算是当前软件开发技术的重要发展方向之一。分析基于分布对象的分布计算模型，探讨RMI的体系结构、工作机制、安全机制及异常处理，给出基于RMI的分布计算的基本解决方案，运
目前我国国有资产管理主要侧重于经营性资产,行政事业单位的非经营性资产管理仍处于模糊状态.加强行政事业单位国有资产的有效管理,应改革管理体制,健全机构、明确职责,全面