Roberto Sebastiani, Patrick Trentin: OptiMathSAT: A Tool for Optimization Modulo Theories. CAV (1) 2015: 447-454