保存此搜索
研究论文 2024年6月 随机CSP如何愚弄层次结构 约束满足问题(CSP)的松弛包括有界宽度、线性规划(LP)、半定规划(SDP)、仿射整数规划(AIP),以及Brakensiek、Guruswami、Wrochna和živný的组合LP+AIP(SICOMP 2020)。 拧紧。。。 研究论文 2024年6月 基于拉姆齐理论的空间推理中的复杂性二分法 有限有界齐次结构一阶约简的约束满足问题(CSP)形成了一大类计算问题,可能表现出复杂性二分法,即P与NP-完全。 一种获得多项式的强大方法。。。 研究论文 2023年11月 CSP的添加剂稀释 Benczúr和Karger[STOC'96]引入的乘割稀疏算子已被证明具有极大的影响力,并发现了各种应用。 为图的稀疏性建立了精确的特征,并在此基础上用其他2变量谓词对图进行了稀疏化。。。 研究论文 2023年10月 基于约束的不可靠观测值计划和目标识别的统一方法 摘要 给定对计划执行的一系列观察,计划和目标识别被视为人工智能规划中的可互换任务。 然而,严格地说,前者试图确定一个计划,后者是一组目标,用于解释。。。 研究论文 2023年10月 一类约束优化问题的优势破缺nogood的自动生成 摘要 约束优化问题(COP)要求为变量赋值,以优化目标,使其受到限制赋值组合的约束。 它们通常由。。。 -
研究论文 2023年3月 稀疏一般值CSP的PTAS 我们研究了稀疏图类上约束满足问题(CSP)的多项式时间近似方案(PTASes),如最大独立集(Maximum Independent Set)或最小顶点覆盖(Minimum Vertex Cover)。 贝克的方法给出了平面图的PTAS,排除了最小类。。。 研究论文 2023年3月 广义超树分解的增量更新 结构分解方法,如广义超树分解,已成功用于求解约束满足问题(CSP)。 由于分解可以重用以解决具有相同约束范围的CSP,因此投资。。。 研究论文 2023年1月 研究论文 2022年11月 约束满足的并行测试任务调度优化 摘要 并行测试任务调度是缩短几个大型测试项目最终完工时间的有效方法。 简单地说,一组测试任务应该在几个不相关的资源上处理,几个测试任务必须满足。。。 研究论文 2022年8月 研究论文 2022年8月 研究论文 2022年7月 约束满足问题的快速并行分解 摘要 约束满足问题(CSP)是出了名的困难。 因此,开发了强大的分解方法来克服这种复杂性。 然而,这给实际计算给定CSP的这种分解带来了挑战。。。 研究论文 2022年4月 矩阵分解在基于一致性的直接诊断中的应用 摘要 配置系统必须能够处理不同上下文中可能出现的不一致。 特别是在交互式设置中,用户指定需求,约束求解器必须确定解决方案,不一致可能更多。。。 章 2022年3月 约束学习:开胃菜 摘要 约束在人工智能和运筹学中普遍存在。 它们出现在命题可满足性等逻辑问题、约束满足等离散问题以及成熟的数学优化中。。。 研究论文 2022年2月 从多个计划中学习时间行动模型 :约束满足方法 摘要 学习,作为一项从过去的观察中发现的任务,在识别结构和提高准确性的工程环境中非常有趣。 在规划场景中学习旨在识别过去的行为以预测行动模型。。。 研究论文 2022年2月 约束求解中的机器学习技术综述 安德烈·波佩斯库 , Seda Polat-Erdeniz公司 , 亚历山大·费尔费尔尼格 , 马蒂亚斯·乌塔 , 穆斯拉姆·阿塔斯 , 越南乐团 , 克劳斯·皮尔斯 , 马丁·恩泽斯伯格 , Thi Ngoc Trang Tran公司
摘要 约束求解应用于不同的应用环境。 其中的示例包括复杂产品和服务的配置、生产计划的确定以及在线销售中建议的确定。。。 章 2021年9月 加速技术 H(H) -核心蛋白质配件 摘要 从氨基酸序列恢复蛋白质的三维结构(“折叠”)是计算生物学中最重要和最具挑战性的问题之一。 由于……,最精确的方法需要巨大的计算资源。。。 研究论文 2021年7月 承诺约束满足的代数方法 约束满足问题(CSP)的复杂性和逼近性在过去20年中得到了积极的研究。 一个新版本的CSP,即承诺CSP(PCSP),最近被提出,其动机是关于。。。 研究论文 2021年6月 工业环境下的UI测试用例优先级:搜索最佳标准 摘要 这项工作是在面向UI回归测试的工业环境中开发的,我们无法访问源代码,大多数测试用例都是手动执行的(只有部分基于回归的测试用例可以在到期时执行。。。 第条 2021年5月