arXiv 2003-03-20 EN An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables Boigelot, Bernard · Jodogne, Sebastien · Wolper, Pierre
