...
机译:没有混合子句的集分解和可满足性问题的不逼近结果
Department of Computer Science, University of Washington, Seattle, WA 98195, USA;
hardness of approximations; set splitting; PCP; gadgets;
机译:没有混合子句的集合分裂问题和可满足性问题的逼近性
机译:模型的数量和条款的可满足性
机译:通过不确定性集合的迭代拆分进行多阶段可调鲁棒混合整数优化
机译:对于没有混合条款的拆分和满足性问题,不可识别的难以理解
机译:非子句和电路可满足性的随机局部搜索。
机译:参数化复杂性在十字和邻近Chordal图中占据主导地位问题的难以理解
机译:用于基准测试等效推理技术的硬质量满足条款集