Abstract
I will take you on an express tour of the mathematical and philosophical developments in the complexity classification quest for SAT and CSP. The route includes many landmarks such as Schaefer, Feder-Vardi, Jeavons, and Bulatov-Zhuk. At the end of the tour I will discuss where we are with this quest now.