Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Generic Global Constraint based on MDDs   The paper suggests the use of Multi-Valued Decision Diagrams (MDDs) as the
supporting data structure for a generic global constraint. We give an algorithm
for maintaining generalized arc consistency (GAC) on this constraint that
amortizes the cost of the GAC computation over a root-to-terminal path in the
search tree. The technique used is an extension of the GAC algorithm for the
regular language constraint on finite length input. Our approach adds support
for skipped variables, maintains the reduced property of the MDD dynamically
and provides domain entailment detection. Finally we also show how to adapt the
approach to constraint types that are closely related to MDDs, such as AOMDDs
and Case DAGs.

16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
2
The categories of this paper are: math