Fig. 3: Experimental demonstration of WalkSAT-XNF on TaOx memristor crossbar arrays.
From: Accelerating hybrid XOR–CNF Boolean satisfiability problems natively with in-memory computing
a Conductance map of the memristor crossbar arrays used for clause evaluation (array 1) and make and break value computations (array 2). b Histogram of the conductance values in array 1. c Histogram of the output currents of array 1 for 400 random variable assignments. The histogram is split and colored according to the expected number of true literals. Vertical lines indicate the discretization levels applied for clause evaluation. d Cumulative success rate when solving the par-8-1-c problem instance when implemented experimentally in the memristor crossbar arrays and simulations of WalkSAT-XNF heuristic presented in Table 1 for the noise σ = 2.5. e Comparison of iterations-to-solution values for different noise levels between experiments and simulations. Error bars for (d) and (e) depict the standard error63.
