Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CLS-SMT: Bringing Together Combinatory Logic Synthesis and
  Satisfiability Modulo Theories   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 the automatic composition of software components
from a user-specified repository. The framework yields a tree grammar that
contains all composed terms that comply with a target type. Type specifications
for (CL)S are based on combinatory logic with intersection types. Our approach
translates the tree grammar into SMT functions, which allows the consideration
of additional domain-specific constraints. We demonstrate the usefulness of our
approach in several experiments.

19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph