Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The AllDifferent Constraint with Precedences   We propose AllDiffPrecedence, a new global constraint that combines together
an AllDifferent constraint with precedence constraints that strictly order
given pairs of variables. We identify a number of applications for this global
constraint including instruction scheduling and symmetry breaking. We give an
efficient propagation algorithm that enforces bounds consistency on this global
constraint. We show how to implement this propagator using a decomposition that
extends the bounds consistency enforcing decomposition proposed for the
AllDifferent constraint. Finally, we prove that enforcing domain consistency on
this global constraint is NP-hard in general.

22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat