论文部分内容阅读
SAT问题即布尔可满足性问题是逻辑学的一个基本问题，也是计算机科学和人工智能研究的核心问题。寻找求解SAT问题的快速算法不仅在理论研究上而且在许多应用领域都具有极其重要的意义。本文讨论了基于演化算法的SAT问题求解方法。
基于演化算法的SAT问题求解
【摘 要】
：
SAT问题即布尔可满足性问题是逻辑学的一个基本问题，也是计算机科学和人工智能研究的核心问题。寻找求解SAT问题的快速算法不仅在理论研究上而且在许多应用领域都具有极其重要
【机 构】
：
孝感学院计算机科学系
【出 处】
：
电脑与电信
【发表日期】
：
2007年3期
其他文献
试验以龙粳31号为供试材料，研究不同叶龄期施用氮素对水稻产量和稻米品质的影响，结果表明：穗肥的施用可以有效提高作物的产量，前期施用可提高成穗数，中期施用可提高穗粒数，后期施用
当下，在课堂教学中借助现代化的教学手段，教师依据教材，精心设计题目，可以使抽象的数学概念直观化、具体化，可以使枯燥的内容兴趣化、生动化。那么，如何在课堂教学中运用多媒体技术
家庭用车最关键的是实用性，出行的时候要有宽大的空间装行李，车内乘坐空间要舒适，同时，安全性也是重中之重，而日常驾驶的油耗表现也足以左右消费者的选择。长安铃木锋驭就是一款充
1前言2，6-二氟苯甲酰胺是合成苯甲酰脲类杀虫剂的关键中间体，苯甲酰脲类杀虫剂属于几丁质合成抑制剂，通过抑制几丁质在昆虫体内的生物合成而使昆虫致死，其作用机理与其他杀虫剂不
在SUV的世界里，力量是绝对强大的证明，丰富的高科技配置是开启未来汽车生活的方式，在这些车中的佼佼者从来都不会放松自己，和强大的对手角逐才会让自身有所突破。
赛道体验活动中，由两台日系主流紧凑SUV、2014款优6 SUV以及优6 SUV ECO HYPER 构成对比式的赛道体验，直线加速、发卡弯、连续绕锥区的科目测试轮番上演。发夹弯的弯角接近180&
北京2008年11月05日电／新华美通／-今天，由网易体育、盈方公司和中国篮协合作建设的CBA和中国国家篮球队官方网站（http：／／www．cbachina．com）正式上线。此举标志在CBA的报道中，网易体育成
<正>By the end of 2014,the Fifth Plenary Session of the Tariff Commission of the State Council deliberated and passed the2015,the program will be put into effec
用文献计量学方法分析探讨医学信息学研究发展的动态变化，为我国医学信息学的发展方向提供参考和借鉴。