More details at http://futurezone.at/science/oesterreicher-bei-olympischen-spielen-der-logik-erfolgreich/76.094.556
“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” …
