Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Finite Domain Bounds Consistency Revisited   A widely adopted approach to solving constraint satisfaction problems
combines systematic tree search with constraint propagation for pruning the
search space. Constraint propagation is performed by propagators implementing a
certain notion of consistency. Bounds consistency is the method of choice for
building propagators for arithmetic constraints and several global constraints
in the finite integer domain. However, there has been some confusion in the
definition of bounds consistency. In this paper we clarify the differences and
similarities among the three commonly used notions of bounds consistency.

19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph