TY - GEN
T1 - Two Generalizations of Shininess
AU - V. Toledo, Guilherme
AU - Zohar, Yoni
N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2027.
PY - 2027
Y1 - 2027
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/105046984542
U2 - 10.1007/978-3-032-33486-2_7
DO - 10.1007/978-3-032-33486-2_7
M3 - Conference contribution
SN - 9783032334855
T3 - Lecture Notes in Computer Science
SP - 97
EP - 110
BT - Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Proceedings
A2 - Johann, Patricia
A2 - de Queiroz, Ruy
PB - Springer Science and Business Media Deutschland GmbH
T2 - 32nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2026
Y2 - 3 August 2026 through 6 August 2026
ER -