245 followers Verification papers @verif_papers OptiMathSAT: A Tool for Optimization Modulo Theories. - Roberto Sebastiani, Patrick Trentin http://t.co/Uk3K1lDBoW 22 Jul 2015 Reply Repost Favourite