Automated synthesis of compact multiplier circuits for in-memory computing using ROBDDs | IEEE Conference Publication | IEEE Xplore