@InProceedings{NieuwenhuisOliveras2006SAT,
  author    = {R. Nieuwenhuis and A. Oliveras},
  title     = {{On SAT Modulo Theories and Optimization Problems}},
 booktitle = {9th International Conference on Theory and Applications of Satisfiability Testing, SAT'06},
editor     = {A. Biere and C. P. Gomes},
  pages     = {156-169},
  year      = {2006},
 series    = {Lecture Notes in Computer Science},
 publisher = {Springer},
 volume    = {4121}
}