Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Unsatisfiable hitting clause-sets with three more clauses than variables   The topic of this paper is the Finiteness Conjecture for minimally
unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number
of clauses minus number of variables) there are only finitely many patterns,
given a certain basic reduction (generalising unit-clause propagation). We
focus our attention on hitting clause-sets (every two clauses have at least one
clash), where the conjecture says that there are only finitely many isomorphism
types. The Finiteness Conjecture is here known to hold for deficiency at most
2, and we now prove it for deficiency 3. An important tool is the notion of
"(ir)reducible clause-sets": we show how to reduce the general question to the
irreducible case, and then solve this case (for deficiency 3). This notion
comes from number theory (Korec 1984, Berger et al 1990), and we rediscovered
it in our studies.

18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph