Boolean Circuit Rewiring: Bridging Logical and Physical Designs - Lam (IEEE, 2003)