论文部分内容阅读
对SAT问题及其各种约束子问题进行分类并给出具体定义，着重介绍常规SAT问题、最大可满足性问题（MAX—SAT）和参数化SAT问题的相关算法，并对参数算法中运用的技术进行分析和比较，提出一些SAT问题研究中值得关注的几个方面。
可满足性问题的研究综述
【摘 要】
：
对SAT问题及其各种约束子问题进行分类并给出具体定义，着重介绍常规SAT问题、最大可满足性问题（MAX—SAT）和参数化SAT问题的相关算法，并对参数算法中运用的技术进行分析和比较，提
【机 构】
：
中南大学信息科学与工程学院
【出 处】
：
计算技术与自动化
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金项目（60773111）,国家973前期研究专项资金项目（2008CB317107）,国家教育部创新团队资助计划项目（IRT0661）
其他文献
服务于电视传媒运营的内容整序和信息增值服务是传媒产业链上至关重要而又缺失较为严重的一环,成长的潜力和空间非常巨大.电视内容整序和信息增值服务,带来的是一种增值利润,
镜头边界检测是进行视频内容分析的首要步骤。本文提出一种新的基于梯度向量角的镜头边界检测方法。首先进行小波变换,提取第二层分解的低频系数,再求出梯度系数,然后计算连续帧梯度系数之间的绝对距离,得到两帧之间的不连续值,最后采用自适应阈值分割,检测出镜头边界。
本文研究了采用工作流管理系统机制的人才资源评估信息化方法,研制了人才评估信息系统.该系统是集人才)评估业务管理、原始数据收集、评估业务承办、报表分析于一体的人才评