The impact of analog computational error on an analog boolean satisfiability solver | IEEE Conference Publication | IEEE Xplore