Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Propositional Encoding of Constraints over Tree-Shaped Data   We present a functional programming language for specifying constraints over
tree-shaped data. The language allows for Haskell-like algebraic data types and
pattern matching. Our constraint compiler CO4 translates these programs into
satisfiability problems in propositional logic. We present an application from
the area of automated analysis of (non-)termination of rewrite systems.

4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph