Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Certificates of infeasibility via nonsmooth optimization   An important aspect in the solution process of constraint satisfaction
problems is to identify exclusion boxes which are boxes that do not contain
feasible points. This paper presents a certificate of infeasibility for finding
such boxes by solving a linearly constrained nonsmooth optimization problem.
Furthermore, the constructed certificate can be used to enlarge an exclusion
box by solving a nonlinearly constrained nonsmooth optimization problem.

36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin