@article{Borrallerasetal2010JAR,
  author    = {Cristina Borralleras and
               Salvador Lucas and
               Albert Oliveras and
               Enric Rodr\'{\i}guez-Carbonell and
               Albert Rubio},
  title     = {{SAT Modulo Linear Arithmetic for Solving Polynomial Constraints}},
  journal   = {Journal of Automated Reasoning},
 volume = {48},
 number = {1},
 year = {2012},
 pages = {107--131}
}