A Modular Approach to MaxSAT Modulo Theories.

Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani

Browse the full SAT paper archive.