Polynomial-time controllability analysis of Boolean networks | IEEE Conference Publication | IEEE Xplore