MathSAT and Applications

put your abstract here

Alessandro Cimatti, Univ. of Trento, and Fondazione Bruno Kessler, Trento, Italy

put your bio here