Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Efficient Algorithm for a Sharp Approximation of Universally
  Quantified Inequalities   This paper introduces a new algorithm for solving a sub-class of quantified
constraint satisfaction problems (QCSP) where existential quantifiers precede
universally quantified inequalities on continuous domains. This class of QCSPs
has numerous applications in engineering and design. We propose here a new
generic branch and prune algorithm for solving such continuous QCSPs. Standard
pruning operators and solution identification operators are specialized for
universally quantified inequalities. Special rules are also proposed for
handling the parameters of the constraints. First experimentation show that our
algorithm outperforms the state of the art methods.

17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex