MathSAT and Applications
put your abstract here
Alessandro Cimatti
, Univ. of Trento, and Fondazione Bruno Kessler, Trento, Italy
put your bio here