Feb, 2022

带有有限域约束满足的增强电子表格计算

PDF
TL;DR本文介绍了如何将表格计算范式扩展以解决约束满足问题，并构建了一种特定于电子表格的约束语言以更好地支持可视化环境下的约束规范。
spreadsheet computingfinite-domain constraint satisfactionconstraint logic programmingvisual tabular interfaceconstraint-based applications
发现论文，激发创造
  • 具有有限域约束增强的电子表格计算

    本文介绍了如何通过将有限约束求解器与电子表格计算范例结合来扩展电子表格计算范例应用，介绍了一个框架，将电子表格中的每个单元格与有限域或约束关系相连。同时提供了特定于电子表格的约束，以帮助控制大型电子表格应用程序实现的可扩展性，并通过示例演示了扩展的电子表格范例的可用性和有用性。

    Feb, 2022

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

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

    Dec, 2007

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

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

    Jul, 2010

  • Auto-Formula: 使用对比学习的表格表示推荐电子表格中的公式

    通过学习和应用已存在于类似电子表格中的公式，使用类似于计算机视觉中的 “相似人脸识别” 的对比学习技术，我们开发了一种名为 Auto-Formula 的系统，可以准确预测用户想要在目标电子表格单元格中编写的公式。

    Apr, 2024

  • 使用有限树自动机合成数据完成脚本

    本文提出了一种基于 PBE 的数据自动完成功能综合技术，并通过 DSL 和新颖的综合算法，生成了与输入输出示例一致的 DSL 程序，并将该方法实现在名为 DACE 的工具中。

    Jul, 2017

  • FourierSAT: 一个基于傅里叶展开的代数框架求解混合布尔约束问题

    FourierSAT 是一种基于布尔函数的傅里叶分析的不完全的 SAT 求解器，其提出一种用于解决具有不同类型限制的系统的代数框架，并通过实验证明在某些基准测试上，它比其他解算器更具鲁棒性。

    Dec, 2019

  • 不需接地的约束型应答集编程

    本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s（CASP）, 它可以在执行期间保留逻辑变量，并在答案集中应用约束，与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。

    Apr, 2018

  • 使用约束编程的高效频繁序列挖掘算法

    通过数据挖掘和约束编程技术，改进了序列模式挖掘中计算问题的模块，使用可通用的约束求解器，加快了计算速度并提高了挖掘效率。

    Apr, 2016

  • 基于连接查询和约束求解的特征模型配置

    本文介绍了如何利用关系数据库系统支持的合取查询方法，解决约束满足问题和特征模型配置任务，从而将数据库技术应用于解决配置任务，并在识别和解决不一致性方面提供了新的算法方法。

    Apr, 2023

  • 通过约束答案集编程实现 PDDL + 规划

    本文提出了一种新的基于约束应答集规划的 PDDL + 计划方法，在将 PDDL + 模型编码为 CASP 问题的基础上，处理混合离散 - 连续动力学领域，这是将 PDDL + 计划和逻辑编程联系起来的首次尝试，并以 EZCSP CASP 求解器为案例研究，在一组 PDDL + 基准问题上获得了有希望的结果。

    Aug, 2016