ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors | IEEE Journals & Magazine | IEEE Xplore