A Modular Approach to MaxSAT Modulo Theories. - Alessandro Cimatti; Alberto Griggio; Bastiaan Joost Schaafsma; Roberto Sebastiani (SAT, 2013)

The MathSAT5 SMT Solver. - Alessandro Cimatti; Alberto Griggio; Bastiaan Joost Schaafsma; Roberto Sebastiani (TACAS, 2013)