搜索筛选:
搜索耗时0.8714秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2003
合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指公式...
[期刊论文] 作者：许道云,
来源：贵州大学学报：自然科学版 年份：2003
研究判定合取范式公式F和H之间是否存在一个改名ψ使得ψ(F)=H的计算复杂性.公式的改名是将命题变元映到变元本身或变元的否定的一个映射,对于极小不可满足公式的子类MU(1)中...
[会议论文] 作者：王健,董改芳,许道云,
来源：2003年全国理论计算机科学学术年会 年份：2003
本文考虑排课问题中的一些约束条件,定义了相关的评价系数,建立了排课问题的数学模型,利用遗传算法对问题进行求解.最后生成各类时间表....
相关搜索：
