Memristor-based redundant binary adder | IEEE Conference Publication | IEEE Xplore