Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CoreDiag: Eliminating Redundancy in Constraint Sets   Constraint-based environments such as configuration systems, recommender
systems, and scheduling systems support users in different decision making
scenarios. These environments exploit a knowledge base for determining
solutions of interest for the user. The development and maintenance of such
knowledge bases is an extremely time-consuming and error-prone task. Users
often specify constraints which do not reflect the real-world. For example,
redundant constraints are specified which often increase both, the effort for
calculating a solution and efforts related to knowledge base development and
maintenance. In this paper we present a new algorithm (CoreDiag) which can be
exploited for the determination of minimal cores (minimal non-redundant
constraint sets). The algorithm is especially useful for distributed knowledge
engineering scenarios where the degree of redundancy can become high. In order
to show the applicability of our approach, we present an empirical study
conducted with commercial configuration knowledge bases.

18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol