An effective decision procedure for linear arithmetic over the integers and reals (0)

by B Boigelot, S Jodogne, P Wolper
Venue:ACM Trans. Comput. Log