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

Technical Report PDF: 
Technical Report Number: 
2005.56
TitleOn the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables
Publication TypeConference Paper
Year of Publication2001
AuthorsBoigelot, B, Jodogne S, Wolper P
Conference NameIJCAR