Constraint propagation in physical design of circuits. - Tingyuan Nie; Jiuxu Gao; Lijian Zhou (IET Circuits Devices Syst., 2020)