Representing Arithmetic Constraints with Finite Automata: An Overview.

Bernard Boigelot, Pierre Wolper

Browse the full ICLP paper archive.