Solving Linear Arithmetic Constraints for User Interface Applications.
Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao
VenueA*UIST
Year1997
ProceedingsACM Symposium on User Interface Software and Technology
DBLP recordconf/uist/BorningMSX97 ↗
Browse the full UIST paper archive.