@Article{mathsat5,
  author =       {Alberto Griggio},
  title =        {{A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic}},
  journal =      {JSAT},
  year =         {2012},
  volume =    {8},
  pages =     {1-27},
  month =     {January},
}