...
机译:GridSAT:一种使用计算网格解决可满足性问题的系统
Department of Computer Science, University of California Santa Barbara, Santa Barbara, CA 93106-9510, United States;
parallel; distributed; scheduling; satisfiability; computational grid;
机译:Gridsat门户:使用国家网络基础设施解决可满足性问题的基于Grid Web的门户
机译:基于网格的聚类可满足求解
机译:遗传算法与布谷鸟搜索算法的混合算法解决计算网格系统中的作业调度问题
机译:GridSAT:基于Chaff的网格分布式SAT解算器
机译:GridSAT:用于计算网格的分布式大规模可满足性求解器。
机译:解决耦合系统提高了计算效率Bidomain方程
机译:基于网格的命题可满足性求解
机译:认证可满足性模块理论(smT)解决系统验证。