On controllability estimation to aid in partitioning logic circuits | IEEE Conference Publication | IEEE Xplore