Optimized implementation of memristor-based full adder by material implication logic | IEEE Conference Publication | IEEE Xplore