Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Distributed solving through model splitting   Constraint problems can be trivially solved in parallel by exploring
different branches of the search tree concurrently. Previous approaches have
focused on implementing this functionality in the solver, more or less
transparently to the user. We propose a new approach, which modifies the
constraint model of the problem. An existing model is split into new models
with added constraints that partition the search space. Optionally, additional
constraints are imposed that rule out the search already done. The advantages
of our approach are that it can be implemented easily, computations can be
stopped and restarted, moved to different machines and indeed solved on
machines which are not able to communicate with each other at all.

25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int