MMAug, 2020

通过抽象解释实现模块化约束求解器合作

PDF
TL;DR本文提出一种基于抽象解释的合作求解框架，通过组合不同的抽象域和合作方案来实现约束求解的协作。该框架支持两种新的合作方案：间隔传播器的补充和延迟乘积，实现了对约束求解的控制方面的抽象。在灵活的工作车间调度问题上，该方法已经得到了实现和应用。
constraint solversabstract interpretationcooperation schemesmodular frameworkinterval propagators
发现论文，激发创造
  • 抽象模块化系统和求解器

    本文介绍了抽象模块和抽象模块化系统等概念，以研究将不同形式主义集成到模块化知识表示系统中所涉及的原则，并展示了如何将它们应用于多种形式主义。 Transition System 是这些原则的自然和方便表示，可以用于 SAT 社区开发的求解器的流程表示。

    Dec, 2013

  • 模型规划中的广义启发式搜索的抽象解释

    本文介绍了如何通过抽象解释作为一个统一框架来构建搜索启发式，以扩展启发式搜索到使用更复杂的数据类型和函数（例如，集合，几何），甚至具有不确定性和概率影响的更丰富的世界模型，并展示了这些启发式可与学习相结合，允许代理在新颖的世界模型中借助由抽象推导出的信息快速启动计划。这表明抽象解释在构建通用推理系统中具有关键作用。

    Aug, 2022

  • 分而治之：约束满足问题的通用方法

    介绍一种用几何模型来解决多约束条件优化问题的方法，并在布尔可满足性问题和球体堆积问题两个基准测试中说明了其有效性和竞争性。

    Dec, 2007

  • 基于翻译的约束答案集求解方法

    本研究提出了一种新的方法，将约束处理技术与 Answer Set Programming（ASP）相结合，可以解决 ASP 中的有趣约束满足问题，并显示如何将有限域上的约束分解成逻辑程序，以便使用单元传播实现弧、束或范围一致性，并且对编码进行的实验表明它们的计算影响。

    Jul, 2010

  • 并行约束求解文献综述

    研究多核计算及其对约束算法的影响，探究并行算法可行性、核心处理器利用、内存共享或分布式计算选择以及静态或动态分解，尝试找到最优解并提供指导给未来研究人员。

    Mar, 2018

  • 混合 ASP 中聚合和约束的统一处理

    该研究提出了一种基于抽象概念的混合 ASP 求解语义框架，采用一些基本特性规定术语，提供遵循不同语义原则的理论变量的聚合函数并说明它们是 ASP 现有聚合语义的广义，以及如何依赖混合求解器进行实现。

    Mar, 2020

  • 结合关系代数、SQL、约束建模和局部搜索

    本文引入了一个新的猜测运算符，通过修改关系查询语言如关系代数和 SQL 以增加约束建模能力，从而为约束建模和关系型数据库管理系统提供了强大的集成，同时提高语言表达能力以涵盖所有复杂类 NP 问题。通过多种示例演示了扩展的有效性，并描述了使用局部搜索技术编写的 Java 当前实现。

    Jan, 2006

  • 模型生成器的转换系统 - 一种统一的方法

    该研究将过渡系统用于计算命题公式的模型，证明了其适用于逻辑规划和 PC（ID）逻辑中，通过计算答案集表示的模型，提供了一种统一的视角，为不同命题形式开发的解决程序提供联系。

    May, 2011

  • 利用对称性提升可满足性检查

    使用对称性压缩结构来解决满足性问题，通过将句子转化为能够进行领域压缩的句子，检查满足性并找到满足条件的结构，其适用于生成配置问题。

    Nov, 2023

  • 多个干预分布上联合学习一致的因果抽象

    本文提出了一个基于 Rischel（2020）提出的抽象形式化理论的因果抽象学习框架，并给出了一个可微分编程解决方案，以在人造数据和电动汽车电池制造领域中实现了关于多个分辨率级别的因果关系推理。

    Jan, 2023