...
机译:在找到短分辨率的反驳和不满意的小的子集时
Resolution complexity; Parameterized complexity; W1-completeness; Bounded local treewidth; Planar formulas;
机译:在找到短分辨率的反驳和不满意的小的子集时
机译:寻找CNF公式和CSP实例的不满足子集的参数化复杂性
机译:在过度约束的CSP中寻找最小不满足子集的混合算法
机译:在寻找短分辨率反驳和小型不可购物的子集
机译:对分辨率反驳的疑问解答。
机译:慢性淋巴细胞白血病的主要刻板印象亚型中的ATM突变:亚型#2的富集与端粒明显短有关
机译:在找到短分辨率的反驳和小的不满意子集时