A Reconfigurable CMOS Ising Machine with Three-Body Spin Interactions for Solving Boolean Satisfiability with Direct Mapping
IEEE solid-state circuits letters(2023)
摘要
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 W per spin at 1.2 V and 64 MHz.
更多查看译文
关键词
Boolean satisfiability (SAT),combinatorial optimization problem (COP),Ising model,sparse Ising machine
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要