NICTA Victoria Laboratory Department of Computer Science and Software Engineering The University of Melbourne 3010, Australia;
minimal unsatisfiable sets; constraint solving; hitting sets; hypergraph transversals;
机译:计算约束的最小不满足子集的算法
机译:通过子集重组计算所有最小命中集
机译:通过子集重组计算所有最小的击球组
机译:发现使用击中设置两化发现最小的不可选择的约束子集
机译:用能量插值法求解随机约束满足问题的不满足边界
机译:随机生物网络上循环约束的潜在不满足性将选择偏向于层次结构
机译:使用命中集对偶化发现约束的最小不满足子集