Figure 2
From: Augmenting an electronic Ising machine to effectively solve boolean satisfiability
Illustration of drawbacks of Ising machines. (a) The average number of nodes after quadratization for increasing number of variables. (b) Performance of SA on the QUBO formulations (SAq) and on the original hypergraph with support for cubic interaction (SAc) compared against KISSAT.
