http://logicrunch.it.uu.se:4096/wp International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning Mon, 21 Dec 2015 14:36:24 +0000 hourly 1 http://wordpress.org/?v=3.6.1