Delay-Driven Physically-Aware Logic Synthesis with Informed Search | IEEE Conference Publication | IEEE Xplore