School of Comp. Sci and Soft. Eng Monash University, 3800 Australia;
minimal unsatisfiable subsets; constraint solving;
机译:在过度约束的CSP中寻找最小不满足子集的混合算法
机译:在过度约束的CSP中寻找最小不满足子集的直接算法
机译:计算约束的最小不满足子集的算法
机译:寻找所有最小的不可选择的子集
机译:查找组的最小n次幂扩展。
机译:成人原发性/特发性微小变化疾病中T细胞亚群的分析:一项初步研究
机译:必须:最小不可采购的子集枚举工具