Moshe Vardi on the worskshop co-organized by Armin Biere and RiSE:
… the gap between the impressive progress on the engineering side and very slow progress on the theory
side led to an unusual workshop, titled “Theoretical Foundations of Applied SAT Solving” …