Improved logic synthesis for memristive stateful logic using multi-memristor implication | IEEE Conference Publication | IEEE Xplore