不完全算法相关硕士博士期刊学术论文 - 搜论网

不完全算法相关论文

基于FPGA加速的布尔可满足求解技术研究

判定布尔公式的可满足性（SAT）是计算机科学领域经典的NP完全问题之一,由于众多领域的实际问题都可以转换为布尔可满足问题来求解,例......

学位

布尔可满足性问题现场可编程门阵列随机局部搜索不完全算法预处理技术加速比

基于不完全算法的并行FPGA SAT求解器

可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相......

期刊

布尔可满足 FPGA 不完全算法多线程

看过本文同时还关注