{"id":"https://openalex.org/W4360606441","doi":"https://doi.org/10.1109/isscc42615.2023.10067570","title":"29.1 A 32.5mW Mixed-Signal Processing-in-Memory-Based k-SAT Solver in 65nm CMOS with 74.0% Solvability for 30-Variable 126-Clause 3-SAT Problems","display_name":"29.1 A 32.5mW Mixed-Signal Processing-in-Memory-Based k-SAT Solver in 65nm CMOS with 74.0% Solvability for 30-Variable 126-Clause 3-SAT Problems","publication_year":2023,"publication_date":"2023-02-19","ids":{"openalex":"https://openalex.org/W4360606441","doi":"https://doi.org/10.1109/isscc42615.2023.10067570"},"language":"en","primary_location":{"id":"doi:10.1109/isscc42615.2023.10067570","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isscc42615.2023.10067570","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Solid- State Circuits Conference (ISSCC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100374575","display_name":"Daehyun Kim","orcid":"https://orcid.org/0000-0002-5582-3579"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daehyun Kim","raw_affiliation_strings":["Georgia Institute of Technology,Atlanta,GA","Georgia Institute of Technology, Atlanta, GA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,Atlanta,GA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083457390","display_name":"Nael Mizanur Rahman","orcid":"https://orcid.org/0000-0002-3556-838X"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nael Mizanur Rahman","raw_affiliation_strings":["Georgia Institute of Technology,Atlanta,GA","Georgia Institute of Technology, Atlanta, GA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,Atlanta,GA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009591041","display_name":"Saibal Mukhopadhyay","orcid":"https://orcid.org/0000-0002-8894-3390"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saibal Mukhopadhyay","raw_affiliation_strings":["Georgia Institute of Technology,Atlanta,GA","Georgia Institute of Technology, Atlanta, GA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology,Atlanta,GA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":3.049,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.92982822,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"28","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9965999722480774,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9965999722480774,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.992900013923645,"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/T12029","display_name":"DNA and Biological Computing","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6790527105331421},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5634410381317139},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5627683997154236},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.4878120720386505},{"id":"https://openalex.org/keywords/simulated-annealing","display_name":"Simulated annealing","score":0.46107032895088196},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.41106194257736206},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3555019497871399},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33586397767066956}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6790527105331421},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5634410381317139},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5627683997154236},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.4878120720386505},{"id":"https://openalex.org/C126980161","wikidata":"https://www.wikidata.org/wiki/Q863783","display_name":"Simulated annealing","level":2,"score":0.46107032895088196},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.41106194257736206},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3555019497871399},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33586397767066956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/isscc42615.2023.10067570","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isscc42615.2023.10067570","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Solid- State Circuits Conference (ISSCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W3016094826","https://openalex.org/W3048392664","https://openalex.org/W4220963237","https://openalex.org/W4280571900"],"related_works":["https://openalex.org/W2080076943","https://openalex.org/W4301660329","https://openalex.org/W3200471374","https://openalex.org/W866331153","https://openalex.org/W2949770228","https://openalex.org/W2810168957","https://openalex.org/W2155192969","https://openalex.org/W2160874740","https://openalex.org/W4240511903","https://openalex.org/W2979842620"],"abstract_inverted_index":{"Boolean":[0],"satisfiability":[1],"(k-SAT,":[2],"k":[3],"\u22653)":[4],"is":[5,152],"an":[6,137,172],"NP-complete":[7],"combinatorial":[8],"optimization":[9],"problem":[10,92],"(COP)":[11],"with":[12],"applications":[13],"in":[14,169,184],"communication,":[15],"flight":[16],"network,":[17],"supply":[18],"chain":[19],"and":[20,30,47,68,71,107,164,171],"finance,":[21],"to":[22,134],"name":[23],"a":[24,73,103,114,118,127,147,157],"few.":[25],"The":[26],"ASICs":[27],"for":[28,58,65,136,161],"SAT":[29],"other":[31],"COP":[32],"solvers":[33],"have":[34],"been":[35],"demonstrated":[36],"using":[37],"continuous-time":[38],"dynamics":[39],"[1],":[40],"simulated":[41],"annealing":[42,50],"[2],":[43],"oscillator":[44],"interaction":[45],"[3]":[46,80],"stochastic":[48],"automata":[49],"[4].":[51,110],"However,":[52],"prior":[53],"designs":[54],"show":[55],"low":[56],"solvability":[57,64,159],"complex":[59],"problems":[60],"([1]":[61],"shows":[62],"16%":[63,168],"30":[66,162],"variables":[67,163,181],"126":[69,165],"clauses),":[70],"use":[72],"small,":[74],"fixed":[75],"network":[76],"topology":[77],"(King's":[78],"graph":[79],"or":[81,85],"Lattice":[82],"Graph":[83],"[2]":[84],"3-SAT":[86],"[1])":[87,170],"limiting":[88],"the":[89],"flexibility":[90,100,174],"of":[91,180],"solving.":[93],"A":[94,142],"digital":[95],"fully":[96],"connected":[97],"processor":[98],"enables":[99],"but":[101],"incurs":[102],"large":[104],"area,":[105],"latency":[106],"power":[108],"overhead":[109],"This":[111],"paper":[112],"presents":[113],"k-SAT":[115,186],"solver":[116],"where":[117],"Continuous-Time":[119],"Stochastic":[120],"Recurrent":[121],"Neural":[122],"Network":[123],"(CT-SRNN),":[124],"controlled":[125],"by":[126],"Discrete-Time":[128],"Finite-State-Machine":[129],"(DT-FSM),":[130],"uses":[131],"unsupervised":[132],"learning":[133],"search":[135],"optimal":[138],"solution":[139],"(Fig.":[140],"29.1.1).":[141],"65nm":[143],"test-chip":[144],"based":[145],"on":[146],"Mixed-Signal":[148],"Processing-in-Memory":[149],"(MS-PIM)":[150],"architecture":[151],"presented.":[153],"Measured":[154],"results":[155],"demonstrate":[156],"higher":[158],"(74.0%":[160],"clauses,":[166],"vs.":[167],"improved":[173],"(k":[175],">":[176],"3,":[177],"different":[178],"number":[179],"per":[182],"clause)":[183],"mapping":[185],"problems.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":6}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}