Solving linear arithmetic constraints (2004)

by H Rueß, N Shankar
Venue:SRI International, Computer Science Laboratory