排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
刘彩霞 《甘肃联合大学学报(自然科学版)》2001,15(2):31-33
针对当前多数教材中用最小项化简逻辑函数的方法 ,指出了如何用最大项化简的技巧 ,同时阐明了两者之间的关系 . 相似文献
2.
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样例上的不良表现,结合NCER和CDP的优点提出混合#SAT求解算法NCDPER.实验结果表明:NCER较先前的#ER在所有85个随机SAT测试用例上有了显著的提高.通过与目前最好的基于扩展规则的#SAT求解器的比较,该求解器具有更好的性能. 相似文献
1