Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sound, Complete, Linear-Space, Best-First Diagnosis Search   Various model-based diagnosis scenarios require the computation of the most
preferred fault explanations. Existing algorithms that are sound (i.e., output
only actual fault explanations) and complete (i.e., can return all
explanations), however, require exponential space to achieve this task. As a
remedy, to enable successful diagnosis on memory-restricted devices and for
memory-intensive problem cases, we propose RBF-HS, a diagnostic search method
based on Korf's well-known RBFS algorithm. RBF-HS can enumerate an arbitrary
fixed number of fault explanations in best-first order within linear space
bounds, without sacrificing the desirable soundness or completeness properties.
Evaluations using real-world diagnosis cases show that RBF-HS, when used to
compute minimum-cardinality fault explanations, in most cases saves substantial
space (up to 98 %) while requiring only reasonably more or even less time than
Reiter's HS-Tree, a commonly used and as generally applicable sound, complete
and best-first diagnosis search.

29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol