Automated prediction

Zarsky, Tal Z. · Communications of the ACM · 2012