搜索筛选:
搜索耗时0.7982秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：徐小萍,
来源：襄樊学院学报 年份：2005
SAT问题（可满足性问题）是计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法......
[期刊论文] 作者：徐小萍,,
来源：襄樊学院学报 年份：2005
SAT问题(可满足性问题)是计算机科学的核心问题,研究问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 文章主要利用,(1,*)-消解和...
相关搜索：
