TY - RPRT TI - A measurement-driven quantum algorithm for SAT: Performance guarantees via spectral gaps and measurement parallelization AU - Franz J. Schreiber AU - Maximilian J. Kramer AU - Alexander Nietner AU - Jens Eisert PY - 2025 UR - https://arxiv.org/abs/2511.09647 ID - 2511.09647 ER -