公开(公告)号：US20240111824A1

公开(公告)日：2024-04-04

申请号：US18475697

申请日：2023-09-27

Applicant: University of Southern California

Inventor： Tony Levi ,  Wei Wu ,  Sandeep Gupta ,  Buyun Chen ,  Zerui Liu ,  Deming Meng ,  Shiyu Su ,  Qiaochu Zhang ,  Shuo-Wei Chen

IPC: G06F17/11

CPC classification number: G06F17/11

Abstract: A circuit arrangement includes an array of switches that represent a Boolean satisfiability expression that has a plurality of clauses each defined by a combination of Boolean variables Xi or ¬Xi, a first plane, and a constraints network operatively arranged with the first plane. The constraints network enforces each of the clauses such that values of different ones of the variables continue to randomly or pseudo randomly flip until the values of the variables Xi and ¬Xi stop changing or a predetermined condition occurs.