Symbolic Boolean manipulation with ordered binary-decision diagrams
Distribution of the number of citations over years.