Abduction of Linear Arithmetic Constraints.

Michael J. Maher

Browse the full ICLP paper archive.