Milwaukee Public Library's Timothy Rush talks about the Rare Books Room's collection of almost 200 gig posters.

SMT (Satisfiability Modulo Theories) has been widely used in program verification, analysis, and test generation. But sometimes, SMT solver outputs incomprehensible solutions, especially for practical ...