An Unholy Trinity: TFNP, Polynomial Systems, and the Quantum Satisfiability Problem

Aldi, Marco

Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2026