Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Solving the Resource Constrained Project Scheduling Problem with
  Generalized Precedences by Lazy Clause Generation   The technical report presents a generic exact solution approach for
minimizing the project duration of the resource-constrained project scheduling
problem with generalized precedences (Rcpsp/max). The approach uses lazy clause
generation, i.e., a hybrid of finite domain and Boolean satisfiability solving,
in order to apply nogood learning and conflict-driven search on the solution
generation. Our experiments show the benefit of lazy clause generation for
finding an optimal solutions and proving its optimality in comparison to other
state-of-the-art exact and non-exact methods. The method is highly robust: it
matched or bettered the best known results on all of the 2340 instances we
examined except 3, according to the currently available data on the PSPLib. Of
the 631 open instances in this set it closed 573 and improved the bounds of 51
of the remaining 58 instances.

15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin