@misc{indiciaef45dcb55323a,
  title = {Breaking Symmetries in Quantified Graph Search: A Comparative Study},
  author = {Mikoláš Janota and Markus Kirchweger and Tomáš Peitl and Stefan Szeider},
  year = {2025},
  url = {https://arxiv.org/abs/2502.15078},
  note = {Source identifier: 2502.15078}
}