@misc{indiciae9e7070c48222, title = {Backdoors for Quantified Boolean Formulas}, author = {Leif Eriksson and Victor Lagerkvist and Sebastian Ordyniak and George Osipov and Fahad Panolan and Mateusz Rychlicki}, year = {2026}, url = {https://arxiv.org/abs/2604.15927}, note = {Source identifier: 2604.15927} }