Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Knowledge Base Management in DCSP   DCSP (Distributed Constraint Satisfaction Problem) has been a very important
research area in AI (Artificial Intelligence). There are many application
problems in distributed AI that can be formalized as DSCPs. With the increasing
complexity and problem size of the application problems in AI, the required
storage place in searching and the average searching time are increasing too.
Thus, to use a limited storage place efficiently in solving DCSP becomes a very
important problem, and it can help to reduce searching time as well. This paper
provides an efficient knowledge base management approach based on general usage
of hyper-resolution-rule in consistence algorithm. The approach minimizes the
increasing of the knowledge base by eliminate sufficient constraint and false
nogood. These eliminations do not change the completeness of the original
knowledge base increased. The proofs are given as well. The example shows that
this approach decrease both the new nogoods generated and the knowledge base
greatly. Thus it decreases the required storage place and simplify the
searching process.

8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph