1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Guilherme V. Toledo, Yoni Zohar
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 betwe…