Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Enhancing Constraint Propagation with Composition Operators   Constraint propagation is a general algorithmic approach for pruning the
search space of a CSP. In a uniform way, K. R. Apt has defined a computation as
an iteration of reduction functions over a domain. He has also demonstrated the
need for integrating static properties of reduction functions (commutativity
and semi-commutativity) to design specialized algorithms such as AC3 and DAC.
We introduce here a set of operators for modeling compositions of reduction
functions. Two of the major goals are to tackle parallel computations, and
dynamic behaviours (such as slow convergence).

15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys