“Boolean Satisfiability: Theory and Engineering” — Communications of ACM

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” …

PDF

Posted in Press Coverage