SAT/SMT/AR 2016 summer school participation

Ákos Hajdu, a PhD student of our group participated in the SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) summer school in Lisbon, Portugal, where he presented his own work in the poster session. The title of his poster is "A SAT/SMT-based CEGAR Framework"