Chapter 15: Omega: a solver of quantifier-free problems in Presburger Arithmetic

Pierre Crégut