Seidel, R., R. Zander, M. Petrič, N. Steinmann, D. Q. Liu, N. Tcholthev, and M. Hauswirth. “Quantum backtracking in Qrisp applied to Sudoku problems.” arXiv 2402.10060 (2024).