An unholy trinity: TFNP, polynomial systems, and the quantum  satisfiability problem
M. Aldi, S. Gharibian, D. Rudolph, ArXiv:2412.19623 (n.d.).