Algorithm Portfolios; Desktop Grid Computing; Hybrid Algorithm; Parallel SAT Solving; Peer-to-Peer; Search-space Splitting;
机译:在点对点桌面网格上并行SAT求解
机译:任务并行稀疏线性系统求解器的能量感知策略
机译:并行直接求解器,用于在多核台式机和工作站上求解由有限元方法得出的线性方程组
机译:合作和竞争!对等桌面网格上的任务平行SAT解决的混合求解策略
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:用于解决零售业人员调度问题混合灵活性战略的数据集
机译:使用BOINC桌面网格解决大规模SAT问题
机译:通过saT求解找到战略证明社会选择功能。