Riccardo Pignari, Vittorio Fra, Enrico Macii, Gianvito Urgese. Efficient Solution Validation of Constraint Satisfaction Problems on Neuromorphic Hardware: The Case of Sudoku Puzzles. IEEE Trans. Artif. Intell., 6(8):2061-2072, August 2025. [doi]
Abstract is missing.