Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: "Model and Run" Constraint Networks with a MILP Engine   Constraint Programming (CP) users need significant expertise in order to
model their problems appropriately, notably to select propagators and search
strategies. This puts the brakes on a broader uptake of CP. In this paper, we
introduce MICE, a complete Java CP modeler that can use any Mixed Integer
Linear Programming (MILP) solver as a solution technique. Our aim is to provide
an alternative tool for democratizing the "CP-style" modeling thanks to its
simplicity of use, with reasonable solving capabilities. Our contributions
include new decompositions of (reified) constraints and constraints on
numerical variables.

17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn