SAT算法相关论文
【摘要】可满足性问题（简称SAT问题）作为第一个被证明的NP完全问题，是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑（F......
1.什么是"算法工程"?20世纪90年代中期,"算法工程"这个词开始频频出现.A.V.Aho等计算机科学家曾在1996年ACM计算理论研讨会(STOC&#......
Survey propagation是一种新生的SAT(CSP)算法.它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求......
有效的布尔可满足性算法必然包括有效的数据结构.本文深入地分析了用于回溯搜索SAT算法的数据结构,指出了它们各自所具有的优势和......
本文讨论了SAT算法在码覆盖问题上的应用，首先将码覆盖问题转化为用合取范式描述的问题，而后运用一个著名的SAT题的算法—walkSAT的......
可满足性问题（简称SAT问题）作为第一个被证明的NP完全问题,是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑（FPGA---F......
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和......
为解决同步时序电路的测试难题,提高时序电路测试生成效率,本文进行了时序电路测试生成算法的研究。近年来,发展迅速的进化算法在......
经过与导师及同组研究成员多次讨论后，最后确定智能车的寻迹规划研究作为本人的研究课题。虽然对智能车的研究有规划、诊断等，但本人......
集成电路的制造、设计与测试并称为集成电路工业的三大关键技术。随着电子技术的进步，集成电路向封装更小、结构更复杂、电路逻辑规......
