Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking | IEEE Conference Publication | IEEE Xplore