Binary Decision Diagrams (BDDs); Boolean Satisfiability; Formal Verification; Graphics Processing Unit (GPU); Parallel Execution;
机译:PRAND:GPU加速的并行随机数生成库:使用最可靠的算法并应用现代GPU和CPU的并行性
机译:GPU中并行模拟退火算法的有效实现
机译:并行混合算法在大规模并行GPGPU中的应用-一种改进的有效方法,可在SIMION模拟中计算库仑相互作用
机译:用于BDD操作的高效并行GPU算法
机译:遗传算法解决GPU上最大3SAT问题的遗传算法
机译:主动外观模型拟合算法在GPU上的高效并行实现
机译:用于线性变换的BDD的高效操纵算法