Impact of Variability Compensation on the Performance of an RRAM-based 3-SAT Solver | IEEE Conference Publication | IEEE Xplore