Representing arithmetic constraints with finite automata: An overview

Technical Report PDF: 
Technical Report Number: 
2002.16
TitleRepresenting arithmetic constraints with finite automata: An overview
Publication TypeConference Paper
Year of Publication2002
AuthorsBoigelot, B, Wolper P
Conference NameICLP’2002, INT. CONF. ON LOGIC PROGRAMMING, VOLUME 2401 OF LNCS
PublisherSpringer