{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,9]],"date-time":"2026-09-09T00:36:02Z","timestamp":1788914162320,"version":"build-2803163510"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Artif. Intell."],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1109\/tai.2025.3536428","type":"journal-article","created":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T13:54:07Z","timestamp":1739454847000},"page":"2061-2072","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Solution Validation of Constraint Satisfaction Problems on Neuromorphic Hardware: The Case of Sudoku Puzzles"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6341-8613","authenticated-orcid":false,"given":"Riccardo","family":"Pignari","sequence":"first","affiliation":[{"name":"Electronic Design Automation (EDA) Group, Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9175-2838","authenticated-orcid":false,"given":"Vittorio","family":"Fra","sequence":"additional","affiliation":[{"name":"Electronic Design Automation (EDA) Group, Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9046-5618","authenticated-orcid":false,"given":"Enrico","family":"Macii","sequence":"additional","affiliation":[{"name":"Electronic Design Automation (EDA) Group, Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2672-7593","authenticated-orcid":false,"given":"Gianvito","family":"Urgese","sequence":"additional","affiliation":[{"name":"Electronic Design Automation (EDA) Group, Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2023.103645"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.119554"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3175040"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1186\/s12859-023-05153-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-023-34683-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2006.07.009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/aic.18037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3174"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-022-04935-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-013-0837-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-023-27848-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3327142"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TBCAS.2023.3316968"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s12351-016-0247-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3389\/fnbot.2020.568283"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TLA.2020.9085287"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(97)00011-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2016.00118"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2017.00714"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/01611190008984253"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0120908"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2004.828150"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2006.1885"},{"key":"ref24","first-page":"71","article-title":"The application of Latin square in agronomic research","volume":"46","author":"Laki\u0107","year":"2001","journal-title":"J. Agricultural Sci. (Belgrade)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2000.859442"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003311"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966350"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-025-61623-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/s41583-022-00642-0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2015.04.008"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS48598.2019.9188207"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3267856"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1523\/JNEUROSCI.20-01-j0003.2000"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2007.4424632"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1038\/srep18854"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.142"},{"key":"ref37","article-title":"Neural Network Intelligence","year":"2021"}],"container-title":["IEEE Transactions on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9078688\/11106307\/10887036.pdf?arnumber=10887036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T19:01:13Z","timestamp":1764270073000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10887036\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8]]},"references-count":37,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tai.2025.3536428","relation":{},"ISSN":["2691-4581"],"issn-type":[{"value":"2691-4581","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8]]}}}