Fast Minimum-Register Retiming via Binary Maximum-Flow | IEEE Conference Publication | IEEE Xplore