Boolean Circuit Rewiring by David YuLiang Wu