Integer programming-based methods for attractor detection and control of boolean networks | IEEE Conference Publication | IEEE Xplore