TY  - RPRT
TI  - CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories
AU  - Fadil Kallat
AU  - Tristan Schäfer
AU  - Anna Vasileva
PY  - 2019
DO  - 10.4204/eptcs.301.7
UR  - https://arxiv.org/abs/1908.09481
ID  - 1908.09481
ER  -