@misc{indiciaea57e4fd33ba7,
  title = {Propositional formula minimization is \$Σ\_2\textasciicircum{}p\$-complete under many-one reductions},
  author = {Reijo Jaakkola},
  year = {2026},
  url = {https://arxiv.org/abs/2610.34516},
  note = {Source identifier: 2610.34516}
}