Consistency techniques for linear arithmetic and functional constraints - Zhang, Yuanlin (1998)