Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Generalized Arc-Consistency Algorithm for a Class of Counting
  Constraints: Revised Edition that Incorporates One Correction   This paper introduces the SEQ BIN meta-constraint with a polytime algorithm
achieving general- ized arc-consistency according to some properties. SEQ BIN
can be used for encoding counting con- straints such as CHANGE, SMOOTH or
INCREAS- ING NVALUE. For some of these constraints and some of their variants
GAC can be enforced with a time and space complexity linear in the sum of
domain sizes, which improves or equals the best known results of the
literature.

31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol