{"title":"A Reconfigurable CMOS Ising Machine With Three-Body Spin Interactions for Solving Boolean Satisfiability With Direct Mapping","authors":"Yuqi Su;Tony Tae-Hyoung Kim;Bongjin Kim","doi":"10.1109/LSSC.2023.3303332","DOIUrl":null,"url":null,"abstract":"Ising machines have recently emerged as efficient computers for nondeterministic polynomial-time hard (NP-hard) combinatorial optimization problems (COPs). While most prior works have built their Ising machines with spins arranged in a graph with only two-body interactions, many real-world COPs, including a popular Boolean satisfiability (SAT) problem, often involve many-body spin interactions. This letter presents a novel Ising machine that can directly map and solve 3-SAT problems (i.e., SAT problems with at most three literals per clause). The proposed Ising machine eliminates the hardware overhead due to the ancillary spins required for approximate mapping used for the prior Ising machines with two-body interactions only. For evaluation, a prototype chip is fabricated using 65 nm and solved 3-SAT problems and their variants (a weighted max 3-SAT). The 65-nm chip occupies 0.345 mm 2 for 128–1024 embedded spins with 8-bit interaction coefficients and consumes \n<inline-formula> <tex-math>$3.73~\\mu \\text{W}$ </tex-math></inline-formula>\n per spin at 1.2 V and 64 MHz.","PeriodicalId":13032,"journal":{"name":"IEEE Solid-State Circuits Letters","volume":null,"pages":null},"PeriodicalIF":2.2000,"publicationDate":"2023-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Solid-State Circuits Letters","FirstCategoryId":"1085","ListUrlMain":"https://ieeexplore.ieee.org/document/10210653/","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 1
Abstract
Ising machines have recently emerged as efficient computers for nondeterministic polynomial-time hard (NP-hard) combinatorial optimization problems (COPs). While most prior works have built their Ising machines with spins arranged in a graph with only two-body interactions, many real-world COPs, including a popular Boolean satisfiability (SAT) problem, often involve many-body spin interactions. This letter presents a novel Ising machine that can directly map and solve 3-SAT problems (i.e., SAT problems with at most three literals per clause). The proposed Ising machine eliminates the hardware overhead due to the ancillary spins required for approximate mapping used for the prior Ising machines with two-body interactions only. For evaluation, a prototype chip is fabricated using 65 nm and solved 3-SAT problems and their variants (a weighted max 3-SAT). The 65-nm chip occupies 0.345 mm 2 for 128–1024 embedded spins with 8-bit interaction coefficients and consumes
$3.73~\mu \text{W}$
per spin at 1.2 V and 64 MHz.