Comment by srean

In the realm of data science, Linear models and SAT solvers used cleverly will get you a surprisingly long way.