Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Conjure Revisited: Towards Automated Constraint Modelling   Automating the constraint modelling process is one of the key challenges
facing the constraints field, and one of the principal obstacles preventing
widespread adoption of constraint solving. This paper focuses on the
refinement-based approach to automated modelling, where a user specifies a
problem in an abstract constraint specification language and it is then
automatically refined into a constraint model. In particular, we revisit the
Conjure system that first appeared in prototype form in 2005 and present a new
implementation with a much greater coverage of the specification language
Essence.

5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio