共被期刊论文引用了3次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一个求解加权MAX-SAT问题的改进蚁群算法显示文摘加权MAX-SAT问题(WMSAT)是一个NP-难问题,针对WMSAT的特点,提出一个改进的蚁群算法。该算法的研究对象由'边'转化为'顶点',简化算法模型;提出取值概率的概念,并以之替换信息素,实现对蚁群进化的直接控制,提高蚁群的可进化性。实验结果表明新算法是有效的。 | 唐天兵 石科 李炳慧 谢祥宏 严毅 | 2010 | 广西大学学报(自然科学版)2010，35，2： | 1 |
| 2 | 利用正交方法解SAT问题显示文摘提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足.该算法为SAT问题的解决提供了一个新的思路. | 荆明娥 陈更生 赵长虹 唐璞山 周电 | 2008 | 复旦学报(自然科学版)2008，，6： | 0 |
| 3 | 基于随机方法和优化的DPLL算法的测试用例自动生成技术研究显示文摘提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。 | 查敬芳 白涛 胡立生 | 2016 | 化工自动化及仪表2016，43，9： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员