Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Combining Propagation Information and Search Tree Visualization using
  ILOG OPL Studio   In this paper we give an overview of the current state of the graphical
features provided by ILOG OPL Studio for debugging and performance tuning of
OPL programs or external ILOG Solver based applications. This paper focuses on
combining propagation and search information using the Search Tree view and the
Propagation Spy. A new synthetic view is presented: the Christmas Tree, which
combines the Search Tree view with statistics on the efficiency of the domain
reduction and on the number of the propagation events triggered.

33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an