Fig. 6
From: A continuous-time MaxSAT solver with high analog performance
Finding the Ramsey number R(4, 4). The E(κ) relationship for the 6-SAT problems corresponding to the KN complete graph colorings with two colors. E0 is the extrapolated value based on the fit from Eq. (5) (dashed lines). The long vertical bars indicate the lower end of the fitting range. Note that for N = 16, 17, E0 is a negative value indicating full colorability (the corresponding 6-SAT problem is fully satisfiable), whereas for N ≥ 18, E0 > 0, and thus the 6-SAT problem becomes MaxSAT
