利用对称性提升可满足性检查
在这篇论文中,我们研究了域递推推理规则,它被认为是冗余的。我们发现,这个规则比预期的更强大,并且实际上显著扩展了模型的范围,其中一些模型的抬升推理时间多项式增长。我们还确定了新的域可抬升理论类别,其中一些理论的使用域递推可以实现指数加速。
Oct, 2016
本文研究了适用于混合域的近似变分方法及其对称性,展示了这些方法较现有的基于信息传递的方法更具有可伸缩性和优越性能,并提出了 Bethe 近似在建模多样本方面的一个充分条件。
Jan, 2020
该文章提出了一种基于数据分布的组合建模通用框架,证明了针对具有词汇表和组合函数的任何可分解任务都存在一族数据转换函数,可在训练数据上产生新的、格式正确的例子,进而说明即使在未知组合函数的情况下 (例如无法编写或推断符号语法), 也可以识别这些数据转换并对普通 RNN 和转换器序列模型进行数据增强,在 CLEVR-CoGenT 视觉问答数据集上获得了最先进的结果,在 COGS 语义分析数据集上获得了与专用模型架构相当的结果。
Jan, 2022
研究如何建立一种基于 cutting planes 证明系统的证明方法来验证包括对称性破坏和优势破坏等优化问题的解是否计算正确,实验表明我们可以有效地验证布尔可满足性(SAT)求解中全局对称性破坏,从而提供了一种统一的方法来证明一系列高级 SAT 技术,还可应用于最大团解决和约束编程。
Mar, 2022
本篇研究在回答集规划(Answer Set Programming)背景下,探讨通过对称性破除来简化解决方案的过程,提出将不相干的逻辑程序转化为有色图的缩减方法,并通过图自同构构建置换对称性,然后通过引入对称性破除约束来破坏对称性。针对此目的,我们设计了一个包含图自同构系统的预处理器。实验证明该系统具有较高的计算效率。
Aug, 2010
该论文介绍了基于模型的一种新方法,使用对称解决方案的学习框架来解决复杂的 Partner Units Problem 问题,尤其在电子行业中的应用具有实际意义。
May, 2022
比较了两种扩展逻辑程序的答案集(稳定模型)语义,一种使用了嵌套表达式,另一种使用了权重约束。通过嵌套表达式和权重约束之间的简单模块化转化,可以使用可满足性求解器计算具有权重约束的程序的答案集,并使用此方法来证明两个具有权重约束程序的强等价性。
Dec, 2003