Greg J. Badros Alan Borning Peter J. Stuckey The Cassowary linear arithmetic constraint solving algorithm. 267-306 2001 8 ACM Trans. Comput.-Hum. Interact. 4 http://doi.acm.org/10.1145/504704.504705 db/journals/tochi/tochi8.html#BadrosBS01