3,647 followers José A. Alonso @jose_a_alonso "Satisfiability at Microsoft" by Leonardo de Moura http://t.co/1WIwpZl #Logic 27 Aug 2011 Reply Repost Favourite