不完全算法相关论文
判定布尔公式的可满足性（SAT）是计算机科学领域经典的NP完全问题之一,由于众多领域的实际问题都可以转换为布尔可满足问题来求解,例......
可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相......
研究合取范式可满足性的SAT问题作为一个NP完全问题，在计算机科学及组合优化问题领域中有着中心课题的重要地位由于其NP问题的性质......
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的......
