@InProceedings{Faureetal2008SAT,
  author    = {Germain Faure and
               Robert Nieuwenhuis and
               Albert Oliveras and
               Enric Rodr\'\i guez Carbonell},
  title     = {{SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers}},
  booktitle = {11th International Conference on Theory and Applications of Satisfiability Testing, SAT'08},
  editor    = {Hans Kleine Buning and
               Xishun Zhao},
  pages     = {77-90},
  year      = {2008},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {4996}
}