Figure 3
From: Augmenting an electronic Ising machine to effectively solve boolean satisfiability
Illustration of cBRIM. (a) High-level cBRIM diagram extending the baseline BRIM with MUXs and cubic coupling units. (b) Distribution of number of variables participating in cubic terms. (c) Timing diagram of using cBRIM. The greyed-out steps are not required for cBRIM (but may be required for other Ising machines). (d) The evolution of the number of satisfied clauses (%) [top] and nodal voltages for all nodes in cBRIM [bottom] while solving a 20-variable problem. The vertical dash line indicates that a solution is found when the voltages have settled.
