arXiv:2606.18428v1 Announce Type: new Abstract: There is growing interest in extensions of the standard model of gate-based quantum computation to include auxiliary degrees of freedom evolving according to a nonlinear Schr\"odinger equation. By reducing the Boolean satisfiability problem SAT to qua