Feb, 2022

具有有限域约束增强的电子表格计算

PDF
TL;DR本文介绍了如何通过将有限约束求解器与电子表格计算范例结合来扩展电子表格计算范例应用，介绍了一个框架，将电子表格中的每个单元格与有限域或约束关系相连。同时提供了特定于电子表格的约束，以帮助控制大型电子表格应用程序实现的可扩展性，并通过示例演示了扩展的电子表格范例的可用性和有用性。
spreadsheet computingconstraint logic programmingconstraint satisfactiondomain-specific languageexcel
发现论文，激发创造
  • 带有有限域约束满足的增强电子表格计算

    本文介绍了如何将表格计算范式扩展以解决约束满足问题，并构建了一种特定于电子表格的约束语言以更好地支持可视化环境下的约束规范。

    Feb, 2022

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

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

    Jul, 2010

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

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

    Dec, 2007

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

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

    Apr, 2018

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

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

    Apr, 2016

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

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

    Jul, 2017

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

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

    Apr, 2024

  • 无限域约束满足问题中的计算捷径

    研究 CSP 实例的后门问题，提出了一种泛化后门概念，即面向具有高元数约束的 CSP，并介绍了 sidedoors 作为对二元约束不利的替代方案，降低了算法复杂度和提高了计算效率。

    Nov, 2022

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

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

    Jan, 2006

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

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

    Dec, 2019