Integer Programming-Based Approach to Attractor Detection and Control of Boolean Networks | Publicación