Category Archives: SAT SMT Solvers

First International SAT/SMT Summer School 2011 @ MIT

Sorry, for being ‘missing in action’. I was super busy organizing the first international SAT/SMTĀ  Solver summer school @ MIT from June 12th to June 17th, 2011 (I was the main organizer). It was an awesome event. We had 40 … Continue reading