4 citations · 4 across the 1 of their papers we have counts for
1 paper
Fadil Kallat, Tristan Schäfer, Anna Vasileva
We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for…