Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Satisfiability of Extended Word Equations: The Boundary Between
  Decidability and Undecidability   The study of word equations (or the existential theory of equations over free
monoids) is a central topic in mathematics and theoretical computer science.
The problem of deciding whether a given word equation has a solution was shown
to be decidable by Makanin in the late 1970s, and since then considerable work
has been done on this topic. In recent years, this decidability question has
gained critical importance in the context of string SMT solvers for security
analysis. Further, many extensions (e.g., quantifier-free word equations with
linear arithmetic over the length function) and fragments (e.g., restrictions
on the number of variables) of this theory are important from a theoretical
point of view, as well as for program analysis applications. Motivated by these
considerations, we prove several new results and thus shed light on the
boundary between decidability and undecidability for many fragments and
extensions of the first order theory of word equations.

32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol