Shininess 的两个推广
Two generalizations of shininess
浏览论文内容
中文总结 AI 辅助
本文提出 shininess 的两个无限族推广，分别涉及温和性与 shininess 之间的性质及去除可计算性和光滑性要求，并证明其尖锐性及与现有方法的比较。
中文摘要 AI 辅助
Shininess 是可满足性模理论中主要的理论组合方法之一。我们提出了它的两个无限族推广：一个涉及介于温和性与 shininess 之间的性质，这有助于我们将温和性本身视为 shininess 的一种变体；另一个则对较弱理论不再有进一步的可计算性要求，此外还去除了对光滑性的需求。我们证明了这些方法的尖锐性，并将其与现有方法进行了比较。
英文摘要
Shininess is one of the main theory combination methods in Satisfiability Modulo Theories. We present two infinite families of generalizations of it: one involving a property between gentleness and shininess, which helps us see gentleness itself as a variation of shininess; and another having no further computability requirements on the weaker theory, in addition dropping the need for smoothness. We prove these methods sharp, and compare them with existing methods.
发表机构
- University of São Paulo（圣保罗大学）
- Bar-Ilan University（巴伊兰大学）
机构由 AI 辅助整理，请以论文原文为准。
