Comment by cosmic_ape

For those hearing about SAT solvers for the first time, its worth mentioning that they are the basic component of hardware (and software) formal verification systems.

This is probably the largest practical application domain, which also drives most of the academic development.