Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs | IEEE Conference Publication | IEEE Xplore