A survey of recent advances in SAT-based formal verification
Distribution of the number of citations over years.