论文部分内容阅读
本文讨论了SAT算法在码覆盖问题上的应用，首先将码覆盖问题转化为用合取范式描述的问题，而后运用一个著名的SAT题的算法—walkSAT的思想来解决该问题。
SAT算法解决码覆盖问题之探讨
【摘 要】
：
本文讨论了SAT算法在码覆盖问题上的应用，首先将码覆盖问题转化为用合取范式描述的问题，而后运用一个著名的SAT题的算法—walkSAT的思想来解决该问题。
【机 构】
：
漳州教育学院
【出 处】
：
内江科技
【发表日期】
：
2007年9期
其他文献
本文论述了近年来国内房地产价格疯涨的不合理性，并进行了原因分析，最后预测由于土地升值、国家宏观政策调控等综合因素作用。2007年房价仍会上涨，但涨幅有所回落，平穗上涨将成为
在网络流媒体应用过程中，由于Internet是一个无连接网络，只提供一种尽力传送的承载业务，并不保证向应用数据流提供所需的带宽，也不保证数据流的传送时延和丢失率等质量指标。因此