# Symmetries of Quantified Boolean Formulas

arXiv: https://arxiv.org/abs/1802.03993 · HTML: https://mlsanity.com/paper/1802.03993/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Feb 2018.

## Built on by (most cited first, 1 of 1)

- [Solving QSAT problems with neural MCTS](https://mlsanity.com/paper/2101.06619/) (2021)

## Abstract (arXiv)

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.