Simon Martiel, Maxime Remaud: Practical Implementation of a Quantum Backtracking Algorithm. SOFSEM 2020: 597-606