机译:利用三元向量和并行处理求解SAT问题
Department of Computing and Information Technology, Faculty of Science and Agriculture, St. Augustine Campus, The University of The West Indies, Trinidad & Tobago;
rnDepartment of Computer Science, Faculty of Mathematics and Computer Sciences, Freiberg University of Mining and Technology, D-09596 Freiberg, Germany;
sat-solver; ternary vector; parallel processing; XBOOLE.;
机译:全并行电流解决方案:基于GPU-CPU的矢量化并行化和牛顿Raphson实现的稀疏技术
机译:现代微处理器中并行化和矢量化技术的性能和能量影响
机译:多核处理器上的局部性并行稀疏矩阵向量和矩阵转置向量乘法
机译:使用布尔模型的离散约束问题的解决方案:使用三元向量进行平行饱和解决方案
机译:通过将图形处理单元用作并行向量处理器,加快生物信息学的科学计算。
机译:用于无铅光伏吸收器的溶液加工银 - 铋 - 碘三元薄膜
机译:利用三元向量和并行处理求解SAT问题
机译:矢量多处理器计算机上稀疏线性系统的并行求解