Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Constraint Satisfaction Problems around Skolem Arithmetic   We study interactions between Skolem Arithmetic and certain classes of
Constraint Satisfaction Problems (CSPs). We revisit results of Glass er et al.
in the context of CSPs and settle the major open question from that paper,
finding a certain satisfaction problem on circuits to be decidable. This we
prove using the decidability of Skolem Arithmetic. We continue by studying
first-order expansions of Skolem Arithmetic without constants, (N;*), where *
indicates multiplication, as CSPs. We find already here a rich landscape of
problems with non-trivial instances that are in P as well as those that are
NP-complete.

36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
18
The categories of this paper are: econ
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th