On SAT Modulo Theories and Optimization Problems (2006)

by R Nieuwenhuis, A Oliveras
Venue:In SAT, volume 4121 of LNCS