机译:计算约束的最小不满足子集的算法
Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI 48109-2121, USA;
constraint satisfaction; minimal unsatifiable subset; CAMUS;
机译:在过度约束的CSP中寻找最小不满足子集的直接算法
机译:在过度约束的CSP中寻找最小不满足子集的混合算法
机译:子句形式Ⅱ的约束满足问题:最小的不满足和冲突结构
机译:FMUS2:计算最小不满足子集的高效算法
机译:所有最小双线性算法的分类,用于计算两种多项式模数的系数多项式
机译:计算最小割集的算法的比较和改进
机译:计算最小不满足约束子集的算法
机译:可靠地求解子集回归问题的最小残差Qr分解算法。