1 citations · 1 across the 1 of their papers we have counts for
1 paper
Guilherme Vicentin de Toledo, Yoni Zohar
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previo…