Logic synthesis for energy-efficient photonic integrated circuits | IEEE Conference Publication | IEEE Xplore