机译:寻找CNF公式和CSP实例的不满足子集的参数化复杂性
TU Wien, Algorithms & Complex Grp, Favoritenstr 9-11, A-1040 Vienna, Austria;
Depaul Univ, Sch Comp, Chicago, IL 60604 USA|Depaul Univ, Coll Comp & Digital Media, 243 South Wabash Ave, Chicago, IL 60604 USA;
TU Wien, Algorithms & Complex Grp, Favoritenstr 9-11, A-1040 Vienna, Austria;
Parameterized complexity; constraint satisfaction; unsatisfiable subsets; CNF formulas; backbones;
机译:在过度约束的CSP中寻找最小不满足子集的混合算法
机译:在过度约束的CSP中寻找最小不满足子集的直接算法
机译:不能满足要求的线性CNF公式很大且很复杂
机译:关于随机k-CNF公式的不满足性证明的复杂性
机译:通过实例候选子集的生成和选择,简化决策树的实例选择。
机译:通过k-分数积分的广义-... ...-preinvex映射的不同类型参数化不等式的扩展
机译:None