Computing Optimal Decision Sets with SAT
Distribution of the number of citations over years.