Bridging Constraint Satisfaction and Boolean Satisfiability
Distribution of the number of citations over years.