4 citations · 8 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 4 cited
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
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…
cs.LO2018★ 3 cited
User Support for the Combinator Logic Synthesizer Framework
Jan Bessai, Anna Vasileva
Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet c…