5,052 followers
RT @Rolf_Drechsler: Article on #SMT solvers is online: metaSMT: focus on your application and not on solver integration https://t.co/z2btjJ…
RT @Rolf_Drechsler: Article on #SMT solvers is online: metaSMT: focus on your application and not on solver integration https://t.co/z2btjJ…
RT @Rolf_Drechsler: Article on #SMT solvers is online: metaSMT: focus on your application and not on solver integration https://t.co/z2btjJ…
Article on #SMT solvers is online: metaSMT: focus on your application and not on solver integration https://t.co/z2btjJGBul @SpringerCompSci