Riccardo Pignari, Vittorio Fra, Enrico Macii, Gianvito Urgese (2025) Efficient solution validation of constraint satisfaction problems on neuromorphic hardware: the case of Sudoku puzzles, In: IEEE TRANSACTIONS ON ARTIFICIAL INTELLIGENCE, ISSN: 2691-4581