A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks
Distribution of the number of citations over years.