{"id":"https://openalex.org/W4390483331","doi":"https://doi.org/10.1109/ssci52147.2023.10371918","title":"On the Use of Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems","display_name":"On the Use of Associative Memory in Hopfield Networks Designed to Solve Propositional Satisfiability Problems","publication_year":2023,"publication_date":"2023-12-05","ids":{"openalex":"https://openalex.org/W4390483331","doi":"https://doi.org/10.1109/ssci52147.2023.10371918"},"language":"en","primary_location":{"id":"doi:10.1109/ssci52147.2023.10371918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssci52147.2023.10371918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium Series on Computational Intelligence (SSCI)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060187041","display_name":"Natalya Weber","orcid":"https://orcid.org/0000-0002-1955-3612"},"institutions":[{"id":"https://openalex.org/I142637625","display_name":"Okinawa Institute of Science and Technology Graduate University","ror":"https://ror.org/02qg15b79","country_code":"JP","type":"education","lineage":["https://openalex.org/I142637625"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Natalya Weber","raw_affiliation_strings":["Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan","Embodied Cognitive Science Unit, Okinawa Institute of Science and Technology, Graduate University, Okinawa, Japan"],"raw_orcid":"https://orcid.org/0000-0002-1955-3612","affiliations":[{"raw_affiliation_string":"Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan","institution_ids":["https://openalex.org/I142637625"]},{"raw_affiliation_string":"Embodied Cognitive Science Unit, Okinawa Institute of Science and Technology, Graduate University, Okinawa, Japan","institution_ids":["https://openalex.org/I142637625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033545875","display_name":"Werner Koch","orcid":"https://orcid.org/0000-0001-7246-0434"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Werner Koch","raw_affiliation_strings":["Independent Scholar,Dresden,Germany","Independent Scholar, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7246-0434","affiliations":[{"raw_affiliation_string":"Independent Scholar,Dresden,Germany","institution_ids":[]},{"raw_affiliation_string":"Independent Scholar, Dresden, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002208303","display_name":"Ozan Erdem","orcid":"https://orcid.org/0000-0002-6012-0528"},"institutions":[{"id":"https://openalex.org/I4210121988","display_name":"Film Independent","ror":"https://ror.org/036cy3843","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210121988"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ozan Erdem","raw_affiliation_strings":["Independent Scholar,Toronto,Canada","Independent Scholar, Toronto, Canada"],"raw_orcid":"https://orcid.org/0009-0003-7844-4832","affiliations":[{"raw_affiliation_string":"Independent Scholar,Toronto,Canada","institution_ids":["https://openalex.org/I4210121988"]},{"raw_affiliation_string":"Independent Scholar, Toronto, Canada","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041658140","display_name":"Tom Froese","orcid":"https://orcid.org/0000-0002-9899-5274"},"institutions":[{"id":"https://openalex.org/I142637625","display_name":"Okinawa Institute of Science and Technology Graduate University","ror":"https://ror.org/02qg15b79","country_code":"JP","type":"education","lineage":["https://openalex.org/I142637625"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tom Froese","raw_affiliation_strings":["Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan","Embodied Cognitive Science Unit, Okinawa Institute of Science and Technology, Graduate University, Okinawa, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Okinawa Institute of Science and Technology, Graduate University,Embodied Cognitive Science Unit,Okinawa,Japan","institution_ids":["https://openalex.org/I142637625"]},{"raw_affiliation_string":"Embodied Cognitive Science Unit, Okinawa Institute of Science and Technology, Graduate University, Okinawa, Japan","institution_ids":["https://openalex.org/I142637625"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5060187041"],"corresponding_institution_ids":["https://openalex.org/I142637625"],"apc_list":null,"apc_paid":null,"fwci":0.1688,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59627987,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1352","last_page":"1358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9829000234603882,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9829000234603882,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hopfield-network","display_name":"Hopfield network","score":0.7908329963684082},{"id":"https://openalex.org/keywords/hebbian-theory","display_name":"Hebbian theory","score":0.7828729748725891},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7233318090438843},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7160251140594482},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.5044327974319458},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48457491397857666},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4510936737060547},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44389608502388},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.4426423907279968},{"id":"https://openalex.org/keywords/content-addressable-memory","display_name":"Content-addressable memory","score":0.41027235984802246},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4079226851463318},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4074096083641052},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2236652374267578}],"concepts":[{"id":"https://openalex.org/C46421273","wikidata":"https://www.wikidata.org/wiki/Q1407668","display_name":"Hopfield network","level":3,"score":0.7908329963684082},{"id":"https://openalex.org/C111437709","wikidata":"https://www.wikidata.org/wiki/Q1277874","display_name":"Hebbian theory","level":3,"score":0.7828729748725891},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7233318090438843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7160251140594482},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.5044327974319458},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48457491397857666},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4510936737060547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44389608502388},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.4426423907279968},{"id":"https://openalex.org/C53442348","wikidata":"https://www.wikidata.org/wiki/Q745101","display_name":"Content-addressable memory","level":3,"score":0.41027235984802246},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4079226851463318},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4074096083641052},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2236652374267578},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ssci52147.2023.10371918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssci52147.2023.10371918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium Series on Computational Intelligence (SSCI)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322443","display_name":"Okinawa Institute of Science and Technology Graduate University","ror":"https://ror.org/02qg15b79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1585063487","https://openalex.org/W1597286183","https://openalex.org/W1983572867","https://openalex.org/W1992085803","https://openalex.org/W2014644550","https://openalex.org/W2023367191","https://openalex.org/W2024060531","https://openalex.org/W2056417590","https://openalex.org/W2090961204","https://openalex.org/W2128084896","https://openalex.org/W2137722006","https://openalex.org/W2142058217","https://openalex.org/W2415170901","https://openalex.org/W2809729522","https://openalex.org/W2885191881","https://openalex.org/W2984625435","https://openalex.org/W3159132863","https://openalex.org/W3174205044","https://openalex.org/W4213009134","https://openalex.org/W4295705322","https://openalex.org/W4320031309","https://openalex.org/W4377832790","https://openalex.org/W4382051139"],"related_works":["https://openalex.org/W2144581752","https://openalex.org/W2019378331","https://openalex.org/W1536116856","https://openalex.org/W4321273133","https://openalex.org/W2147932521","https://openalex.org/W1560986979","https://openalex.org/W2065708628","https://openalex.org/W1863343919","https://openalex.org/W4220712998","https://openalex.org/W3087113781"],"abstract_inverted_index":{"Hopfield":[0,27],"networks":[1],"are":[2,138],"an":[3,154],"attractive":[4],"choice":[5],"for":[6,48,142,167],"solving":[7,168],"many":[8],"types":[9],"of":[10,157],"computational":[11],"problems":[12,68],"because":[13],"they":[14],"provide":[15,162],"a":[16,32],"biologically":[17,33],"plausible":[18],"mechanism.":[19],"The":[20,105],"Self-Optimization":[21],"(SO)":[22],"model":[23,98],"adds":[24],"to":[25,44,65,87,148,152],"the":[26,60,63,66,71,96,109,130,143,158],"network":[28,42,132],"(HN)":[29],"by":[30],"using":[31],"founded":[34],"Hebbian":[35],"learning":[36],"rule,":[37],"in":[38,59,70,139],"combination":[39],"with":[40,129],"repeated":[41],"resets":[43],"arbitrary":[45],"initial":[46],"states,":[47],"optimizing":[49],"its":[50,165],"own":[51],"behavior":[52],"towards":[53],"some":[54],"desirable":[55],"goal":[56],"state":[57],"encoded":[58],"network.":[61],"However,":[62],"solutions":[64,81,136],"abstract":[67],"used":[69],"literature":[72],"offer":[73],"little":[74],"insight":[75,163],"into":[76,164],"how":[77,119],"HN":[78],"arrive":[79],"at":[80],"or":[82],"partial":[83],"solutions.":[84],"In":[85],"order":[86],"better":[88],"understand":[89],"that":[90,95,137],"process,":[91],"we":[92,117],"demonstrate":[93],"first":[94],"SO":[97,159],"can":[99,161],"solve":[100],"concrete":[101],"combinatorial":[102],"satisfiability":[103],"problems:":[104],"Liars":[106],"problem":[107,144],"and":[108],"map":[110],"coloring":[111],"problem.":[112],"Based":[113],"on":[114],"these":[115],"solutions,":[116],"discuss":[118],"under":[120],"certain":[121],"conditions":[122],"critical":[123],"information":[124],"might":[125],"get":[126],"lost":[127],"forever":[128],"learned":[131],"producing":[133],"seemingly":[134],"optimal":[135],"fact":[140],"inappropriate":[141],"it":[145],"was":[146],"tasked":[147],"solve.":[149],"What":[150],"appears":[151],"be":[153],"undesirable":[155],"side-effect":[156],"model,":[160],"process":[166],"intractable":[169],"problems.":[170]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}