{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T20:03:00Z","timestamp":1766088180577,"version":"3.37.3"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"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":[],"published-print":{"date-parts":[[2023,12,5]]},"DOI":"10.1109\/ssci52147.2023.10371918","type":"proceedings-article","created":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T19:30:22Z","timestamp":1704137422000},"page":"1352-1358","source":"Crossref","is-referenced-by-count":1,"title":["On the Use of Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1955-3612","authenticated-orcid":false,"given":"Natalya","family":"Weber","sequence":"first","affiliation":[{"name":"Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7246-0434","authenticated-orcid":false,"given":"Werner","family":"Koch","sequence":"additional","affiliation":[{"name":"Independent Scholar,Dresden,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7844-4832","authenticated-orcid":false,"given":"Ozan","family":"Erdem","sequence":"additional","affiliation":[{"name":"Independent Scholar,Toronto,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Froese","sequence":"additional","affiliation":[{"name":"Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.79.8.2554"},{"volume-title":"The organization of behavior, a neuropsychological theory, ser. The organization of behavior, a neuropsychological theory","year":"1949","author":"Hebb","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/s41583-021-00473-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00339943"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/26339137231168355"},{"volume-title":"Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications","year":"2009","author":"Biere","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.20346"},{"volume-title":"Logic for problem solving, ser. Artificial intelligence series","year":"1979","author":"Kowalski","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1991.3.2.282"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550070604"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.5539\/mas.v2n3p57"},{"volume-title":"Clue Deduction: an introduction to satisfiability reasoning","year":"2008","author":"Neller","key":"ref12"},{"volume-title":"Encoding Problems in Boolean Satisfiability","year":"2019","author":"Erdem","key":"ref13"},{"volume-title":"SO for SAT problems","year":"2023","author":"Weber","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0375-9601(93)91035-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/1059712311412797"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI51031.2022.10022074"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/00220027211013563"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/030631299029001002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICHIS.2005.97"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.17576\/jsm-2018-4706-30"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6384-9_12"},{"volume-title":"Distributed associative learning in ecological community networks","year":"2019","author":"Power","key":"ref25"},{"volume-title":"Computational Complexity","year":"1994","author":"Papadimitriou","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2023.104959"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.13666"}],"event":{"name":"2023 IEEE Symposium Series on Computational Intelligence (SSCI)","start":{"date-parts":[[2023,12,5]]},"location":"Mexico City, Mexico","end":{"date-parts":[[2023,12,8]]}},"container-title":["2023 IEEE Symposium Series on Computational Intelligence (SSCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10371778\/10371788\/10371918.pdf?arnumber=10371918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T01:05:01Z","timestamp":1705107901000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10371918\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ssci52147.2023.10371918","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]}}}