On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.

Bernard Boigelot, Sbastien Jodogne, Pierre Wolper

Browse the full CADE paper archive.