Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solving the Wastewater Treatment Plant Problem with SMT   In this paper we introduce the Wastewater Treatment Plant Problem, a
real-world scheduling problem, and compare the performance of several tools on
it. We show that, for a naive modeling, state-of-the-art SMT solvers outperform
other tools ranging from mathematical programming to constraint programming. We
use both real and randomly generated benchmarks.
  From this and similar results, we claim for the convenience of developing
compiler front-ends being able to translate from constraint programming
languages to the SMT-LIB standard language.

19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom