Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symmetries of Quantified Boolean Formulas   While symmetries are well understood for Boolean formulas and successfully
exploited in practical SAT solving, less is known about symmetries in
quantified Boolean formulas (QBF). There are some works introducing adaptions
of propositional symmetry breaking techniques, with a theory covering only very
specific parts of QBF symmetries. We present a general framework that gives a
concise characterization of symmetries of QBF. Our framework naturally
incorporates the duality of universal and existential symmetries resulting in a
general basis for QBF symmetry breaking.

23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
2
The categories of this paper are: math
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
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn