Why Modern Computers Solve Exponentially Explosive NP-Complete Problems in Seconds: Inside SAT Solvers, CDCL, and Phase Transitions
