Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction
  Problems   In this paper, we investigate the hybrid tractability of binary Quantified
Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of
binary QCSPs is identified by using the broken-triangle property. In this
class, the variable ordering for the broken-triangle property must be same as
that in the prefix of the QCSP. Second, we break this restriction to allow that
existentially quantified variables can be shifted within or out of their
blocks, and thus identify some novel tractable classes by introducing the
broken-angle property. Finally, we identify a more generalized tractable class,
i.e., the min-of-max extendable class for QCSPs.

31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
16
The categories of this paper are: stat